ampl: include 'C:\Users\DELL\Ejecutar52.run';

Presolve eliminates 2553 constraints and 671104 variables.
Adjusted problem:
74148 variables:
	1456 binary variables
	72682 integer variables
	10 linear variables
11008 constraints, all linear; 668007 nonzeros
	2636 equality constraints
	8372 inequality constraints
1 linear objective; 5 nonzeros.

CPLEX 20.1.0.0: timelimit=7200
outlev=1
mipdisplay=2
MIP Presolve eliminated 97 rows and 4709 columns.
MIP Presolve modified 104 coefficients.
Reduced MIP has 9950 rows, 68387 columns, and 616396 nonzeros.
Reduced MIP has 1456 binaries, 66926 generals, 0 SOSs, and 0 indicators.
Detecting symmetries...
MIP Presolve eliminated 660 rows and 708 columns.
Reduced MIP has 9290 rows, 67679 columns, and 613868 nonzeros.
Reduced MIP has 1344 binaries, 66330 generals, 0 SOSs, and 0 indicators.
Probing fixed 0 vars, tightened 294 bounds.
Probing time = 0.14 sec. (54.48 ticks)
Cover probing fixed 0 vars, tightened 677 bounds.
Clique table members: 96.
MIP emphasis: balance optimality and feasibility.
MIP search method: dynamic search.
Parallel mode: deterministic, using up to 8 threads.
Root relaxation solution time = 2.92 sec. (1521.82 ticks)

        Nodes                                         Cuts/
   Node  Left     Objective  IInf  Best Integer    Best Bound    ItCnt     Gap

      0     0     3813.7075  1027                   3813.7075       33         
*     0+    0                      6566873.2067     3813.7075            99.94%
*     0+    0                      6566788.8351     3813.7075            99.94%
      0     0     3813.7090   800  6566788.8351     Cuts: 167     1601   99.94%
      0     0     3813.7090  1101  6566788.8351     Cuts: 696     4103   99.94%
      0     0     3813.7090   806  6566788.8351      Cuts: 73     5303   99.94%
*     0+    0                         8765.8262     3813.7090            56.49%
*     0+    0                         8714.2987     3813.7090            56.24%
*     0+    0                         8712.2349     3813.7090            56.23%
*     0+    0                         8610.1781     3813.7090            55.71%
*     0+    0                         8610.1381     3813.7090            55.71%
      0     0  -1.00000e+75     0     8610.1381     3813.7090     5303   55.71%
      0     0     3813.7090   939     8610.1381     Cuts: 701     7300   55.71%
Heuristic still looking.
      0     2     3813.7090   564     8610.1381     3813.7090     7300   55.71%
Elapsed time = 86.83 sec. (71966.56 ticks, tree = 0.02 MB)
      1     3     3813.7090   568     8610.1381     3813.7090     7464   55.71%
      2     4     3813.7090   776     8610.1381     3813.7090    10610   55.71%
      4     6     3813.7090   813     8610.1381     3813.7090    11528   55.71%
      8    10     3813.7151   741     8610.1381     3813.7090    15780   55.71%
*     9+    4                         7946.4353     3813.7090            52.01%
      9     3     3813.7151   848     7946.4353     3813.7090    13171   52.01%
     10     5     3813.7151   937     7946.4353     3813.7090    14373   52.01%
     12    14     3813.7090   657     7946.4353     3813.7090    29514   52.01%
     14    15     3813.7090   657     7946.4353     3813.7090    39266   52.01%
     15    15     3813.7151   849     7946.4353     3813.7090    32386   52.01%
     18    12     3813.7185   899     7946.4353     3813.7090    25224   52.01%
Elapsed time = 157.00 sec. (87941.42 ticks, tree = 0.07 MB)
     20    18     3813.7090   714     7946.4353     3813.7090    44774   52.01%
     23    20     3813.7151   782     7946.4353     3813.7090    51935   52.01%
     25    24     3813.7090   654     7946.4353     3813.7090    64762   52.01%
     29    21     3813.7161   683     7946.4353     3813.7090    53181   52.01%
     33    17     3813.7296   653     7946.4353     3813.7090    48862   52.01%
     38    28     3813.7090   790     7946.4353     3813.7090    84691   52.01%
     42    31     3813.7296   555     7946.4353     3813.7090   101160   52.01%
     47    37     3813.7169   824     7946.4353     3813.7090   106453   52.01%
     51     8     3813.7130   879     7946.4353     3813.7090    18482   52.01%
     66    56     3813.7153   693     7946.4353     3813.7090   129209   52.01%
Elapsed time = 209.91 sec. (100920.81 ticks, tree = 2.29 MB)
     68    42     3813.7116   846     7946.4353     3813.7090   111458   52.01%
     74    58     3813.7158   745     7946.4353     3813.7090   131388   52.01%
     77    61     3813.7108   775     7946.4353     3813.7090   140309   52.01%
     81    79     3813.7090   712     7946.4353     3813.7090   152947   52.01%
     84    82     3813.7108   707     7946.4353     3813.7090   156083   52.01%
     86    72     3813.7158   674     7946.4353     3813.7090   146963   52.01%
     90    74     3813.7166   755     7946.4353     3813.7090   149174   52.01%
     95    78     3813.7296   590     7946.4353     3813.7090   153511   52.01%
    103    91     3813.7214   798     7946.4353     3813.7090   185238   52.01%
    104    85     3813.7178   843     7946.4353     3813.7090   161825   52.01%
Elapsed time = 265.28 sec. (113068.99 ticks, tree = 3.98 MB)
    108    93     3813.7090   903     7946.4353     3813.7090   191159   52.01%
    114    99     3813.7108   877     7946.4353     3813.7090   194585   52.01%
    115    94     3813.7090   715     7946.4353     3813.7090   193220   52.01%
    119   106     3813.7174   714     7946.4353     3813.7090   203404   52.01%
    127   106     3813.7091   847     7946.4353     3813.7090   207035   52.01%
    132   108     3813.7174   659     7946.4353     3813.7090   206328   52.01%
    134   111     3813.7308   755     7946.4353     3813.7090   222876   52.01%
    137   128     3813.7108   752     7946.4353     3813.7090   243432   52.01%
    138   109     3813.7270   559     7946.4353     3813.7090   212314   52.01%
    146   140     3813.7362   880     7946.4353     3813.7090   251266   52.01%
Elapsed time = 357.38 sec. (129856.11 ticks, tree = 6.75 MB)
    150   129     3813.7146   874     7946.4353     3813.7090   246760   52.01%
    158   137     3813.7144   935     7946.4353     3813.7090   256631   52.01%
    162   138     3813.7404   714     7946.4353     3813.7090   267933   52.01%
    164    88     3813.7161   442     7946.4353     3813.7090   163791   52.01%
    168   148     3813.7108   734     7946.4353     3813.7090   279787   52.01%
    171   150     3813.7214   746     7946.4353     3813.7090   285982   52.01%
    174   144     3813.7161   615     7946.4353     3813.7090   277719   52.01%
    180   153     3813.7214   753     7946.4353     3813.7090   289344   52.01%
    185   157     3813.7092   516     7946.4353     3813.7090   287110   52.01%
    195   163     3813.7092   502     7946.4353     3813.7090   287256   52.01%
Elapsed time = 421.09 sec. (144457.25 ticks, tree = 8.01 MB)
    200   166     3813.7161   427     7946.4353     3813.7090   299173   52.01%
    203   157     3813.7174   711     7946.4353     3813.7090   295974   52.01%
    213   169     3813.7161   618     7946.4353     3813.7090   300553   52.01%
    216   158     3813.7174   665     7946.4353     3813.7090   297175   52.01%
    228   195     3813.7158   697     7946.4353     3813.7090   315544   52.01%
    235   175     3813.7214   718     7946.4353     3813.7090   311299   52.01%
    243   200     3813.7092   504     7946.4353     3813.7090   316394   52.01%
    254   218     3813.7161   504     7946.4353     3813.7090   327901   52.01%
    261   201     3813.7152   586     7946.4353     3813.7090   318028   52.01%
    277   223     3813.7161   631     7946.4353     3813.7090   329830   52.01%
Elapsed time = 484.27 sec. (156235.83 ticks, tree = 13.72 MB)
    286   208     3813.7470   758     7946.4353     3813.7090   325649   52.01%
    293   199     3813.7169   785     7946.4353     3813.7090   322204   52.01%
    296   224     3813.7158   516     7946.4353     3813.7090   334710   52.01%
    304   227     3813.7158   444     7946.4353     3813.7090   335488   52.01%
    310   247     3813.7161   756     7946.4353     3813.7090   348269   52.01%
    320   230     3813.7158   370     7946.4353     3813.7090   337319   52.01%
    334   261     3813.7162   590     7946.4353     3813.7090   349611   52.01%
    336   235     3813.7193   816     7946.4353     3813.7090   339822   52.01%
    340   262     3813.7202   669     7946.4353     3813.7090   352308   52.01%
    345   257     3813.7211   735     7946.4353     3813.7090   354997   52.01%
Elapsed time = 561.20 sec. (170009.21 ticks, tree = 18.00 MB)
    347   266     3813.7162   708     7946.4353     3813.7090   355103   52.01%
    349   280     3813.7191   477     7946.4353     3813.7090   361650   52.01%
    352   258     3813.7174   801     7946.4353     3813.7090   358319   52.01%
    353   283     3813.7191   506     7946.4353     3813.7090   365127   52.01%
    354   259     3813.7360   793     7946.4353     3813.7090   361997   52.01%
    356   284     3813.7191   512     7946.4353     3813.7090   367036   52.01%
    358   290     3813.7191   547     7946.4353     3813.7090   377124   52.01%
    364   286     3813.7375   775     7946.4353     3813.7090   372636   52.01%
    371   140     3813.7404   712     7946.4353     3813.7090   268195   52.01%
    388   298     3813.7379   629     7946.4353     3813.7090   375284   52.01%
Elapsed time = 650.86 sec. (187418.30 ticks, tree = 24.01 MB)
    394   297     3813.7192   516     7946.4353     3813.7090   381596   52.01%
    397   317     3813.7404   703     7946.4353     3813.7090   387164   52.01%
    404   319     3813.7379   783     7946.4353     3813.7090   387914   52.01%
    409   305     3813.7414   779     7946.4353     3813.7090   382516   52.01%
    412   308     3813.7414   714     7946.4353     3813.7090   383115   52.01%
    418   312     3813.7414   661     7946.4353     3813.7090   383345   52.01%
    427   326     3813.7192   316     7946.4353     3813.7090   396378   52.01%
    432   327     3813.7208   694     7946.4353     3813.7090   397914   52.01%
    452   336     3813.7192   286     7946.4353     3813.7090   398758   52.01%
    454   338     3813.7192   284     7946.4353     3813.7090   400399   52.01%
Elapsed time = 707.56 sec. (200004.13 ticks, tree = 29.05 MB)
    470   363     3813.7640   679     7946.4353     3813.7090   404892   52.01%
    476   346     3813.7238   477     7946.4353     3813.7090   402860   52.01%
    483   349     3813.7192   197     7946.4353     3813.7090   403457   52.01%
    489   374     3813.7681   777     7946.4353     3813.7090   409388   52.01%
    496   350     3813.7231   313     7946.4353     3813.7090   407101   52.01%
    502   362     3815.8648   770     7946.4353     3813.7090   415572   52.01%
    506   398     3813.7642   728     7946.4353     3813.7090   425436   52.01%
    519   438     3813.7214   428     7946.4353     3813.7090   439426   52.01%
    527   421     3813.7192   200     7946.4353     3813.7090   437073   52.01%
    558   447     3813.7453   596     7946.4353     3813.7090   450601   52.01%
Elapsed time = 776.72 sec. (217341.43 ticks, tree = 43.38 MB)
    588   414     3813.7941   697     7946.4353     3813.7090   432643   52.01%
    629   518     3813.7214   807     7946.4353     3813.7090   472108   52.01%
    674   526     3813.7214   570     7946.4353     3813.7090   474264   52.01%
    721   526     3813.7266   451     7946.4353     3813.7090   487609   52.01%
    736   641     3813.7226   638     7946.4353     3813.7090   521886   52.01%
    765   678     3813.7648   531     7946.4353     3813.7090   534401   52.01%
    783   683     3813.7851   675     7946.4353     3813.7090   537989   52.01%
    818   710     3813.7158   421     7946.4353     3813.7090   558985   52.01%
    845   687     3813.7648   415     7946.4353     3813.7090   543204   52.01%
    871   688     3813.7847   817     7946.4353     3813.7090   546029   52.01%
Elapsed time = 954.95 sec. (256645.07 ticks, tree = 73.29 MB)
    910   730     3813.7252   711     7946.4353     3813.7090   582406   52.01%
    962   818     3813.7769   787     7946.4353     3813.7090   630025   52.01%
   1017   818     3813.7655   564     7946.4353     3813.7090   618528   52.01%
   1054   822     3813.7347   618     7946.4353     3813.7090   609549   52.01%
   1073   842     3813.7174   788     7946.4353     3813.7090   652182   52.01%
   1129   874     3813.7344  1014     7946.4353     3813.7090   677692   52.01%
   1177  1068     3813.7110   574     7946.4353     3813.7090   766252   52.01%
   1217  1092     3813.7272   659     7946.4353     3813.7090   779895   52.01%
   1253  1043     3813.7652   203     7946.4353     3813.7090   750027   52.01%
   1285  1144     3813.7331   513     7946.4353     3813.7090   794825   52.01%
Elapsed time = 1140.89 sec. (296597.41 ticks, tree = 141.89 MB)
   1320  1196     3813.7231   196     7946.4353     3813.7090   823285   52.01%
   1359  1113     3813.7272   451     7946.4353     3813.7090   790365   52.01%
   1408  1296     3813.7372   375     7946.4353     3813.7090   886810   52.01%
   1453  1269     3813.7151   927     7946.4353     3813.7090   880849   52.01%
   1491  1305     3813.7404   441     7946.4353     3813.7090   901972   52.01%
   1523  1335     3813.7379   301     7946.4353     3813.7090   895501   52.01%
   1546  1396     3813.7197   464     7946.4353     3813.7090   954747   52.01%
   1596  1206     3813.8354   835     7946.4353     3813.7090   842717   52.01%
   1639  1483     3813.7331   528     7946.4353     3813.7090   992063   52.01%
*  1649+ 1581                         7834.7955     3813.7090            51.32%
   1651  1481     3813.7379   303     7834.7955     3813.7090   983789   51.32%
Elapsed time = 1338.23 sec. (336537.30 ticks, tree = 195.54 MB)
*  1675+ 1604                         7731.5857     3813.7090            50.67%
*  1675+ 1604                         7729.8992     3813.7090            50.66%
   1679  1486     3813.7331   323     7729.8992     3813.7090   997962   50.66%
   1708  1542     3813.7771   375     7729.8992     3813.7090  1046549   50.66%
   1728  1695     3813.7421   811     7729.8992     3813.7090  1128867   50.66%
   1780  1683     3813.7846   572     7729.8992     3813.7090  1119181   50.66%
   1835  1706     3813.7476   800     7729.8992     3813.7090  1134931   50.66%
   1880  1724     3813.7231   345     7729.8992     3813.7090  1164633   50.66%
   1917  1794     3813.7421   786     7729.8992     3813.7090  1196954   50.66%
   1963  1887     3813.7846   405     7729.8992     3813.7090  1223839   50.66%
   1991  1771     3813.7331   228     7729.8992     3813.7090  1194761   50.66%
   2016  1773     3813.7331   345     7729.8992     3813.7090  1197925   50.66%
Elapsed time = 1520.75 sec. (376976.33 ticks, tree = 250.13 MB)
   2064  1837     3813.7213   312     7729.8992     3813.7090  1219411   50.66%
   2102  2044     3813.7846   416     7729.8992     3813.7090  1304352   50.66%
   2134  2025     3813.7213   245     7729.8992     3813.7090  1295436   50.66%
   2151  1975     3813.7391   309     7729.8992     3813.7090  1267128   50.66%
   2165  2039     3813.7266   811     7729.8992     3813.7090  1300879   50.66%
   2187  2056     3813.7846   457     7729.8992     3813.7090  1316200   50.66%
   2221  2191     3813.7442   821     7729.8992     3813.7090  1399472   50.66%
   2250  2158     3813.7213   272     7729.8992     3813.7090  1374514   50.66%
   2270  2120     3813.7331   467     7729.8992     3813.7090  1366502   50.66%
   2303  2141     3813.7163   747     7729.8992     3813.7090  1368754   50.66%
Elapsed time = 1697.95 sec. (417735.43 ticks, tree = 310.68 MB)
   2338  2163     3813.7273   672     7729.8992     3813.7090  1383595   50.66%
   2349  2238     3813.7391   191     7729.8992     3813.7090  1423068   50.66%
   2361  2250     3813.7424   653     7729.8992     3813.7090  1427462   50.66%
   2373  2171     3813.7997   454     7729.8992     3813.7090  1386869   50.66%
   2374  2067     3813.7231   309     7729.8992     3813.7090  1317521   50.66%

Performing restart 1

Repeating presolve.
MIP Presolve modified 469238 coefficients.
Reduced MIP has 9290 rows, 67679 columns, and 320358 nonzeros.
Reduced MIP has 1344 binaries, 66330 generals, 0 SOSs, and 0 indicators.
Reduced MIP has 9290 rows, 67679 columns, and 320358 nonzeros.
Reduced MIP has 1344 binaries, 66330 generals, 0 SOSs, and 0 indicators.
Represolve time = 0.97 sec. (603.04 ticks)
   2375     0     3813.7090   982     7729.8992     Cuts: 557  1539687   50.66%
*  2375+    0                         7635.0800     3813.7090            50.05%
   2375     0     3813.7090  1362     7635.0800     Cuts: 852  1545574   50.05%
   2375     0     3813.7090  1085     7635.0800     Cuts: 568  1549370   50.05%
   2375     0     3813.7090  1471     7635.0800     Cuts: 951  1557987   50.05%
   2375     0     3813.7090  1047     7635.0800     Cuts: 457  1561633   50.05%
   2375     0     3813.7090  1429     7635.0800     Cuts: 895  1566828   50.05%
   2375     0     3813.7090  1122     7635.0800     Cuts: 698  1571504   50.05%
   2375     0     3813.7090  1605     7635.0800     Cuts: 962  1580098   50.05%
*  2375+    0                         6983.0693     3813.7090            45.39%
*  2375+    0                         6922.1386     3813.7090            44.91%
   2375     2     3813.7090   683     6922.1386     3813.7090  1580098   44.91%
   2376     3     3813.7151   698     6922.1386     3813.7136  1587949   44.91%
   2377     4     3813.7151   884     6922.1386     3813.7136  1591026   44.91%
   2386     9     3813.7151   803     6922.1386     3813.7136  1592604   44.91%
   2429    33     3813.7151   798     6922.1386     3813.7136  1607082   44.91%
Elapsed time = 2232.31 sec. (830268.01 ticks, tree = 1.26 MB)
   2479    81     3813.7151   700     6922.1386     3813.7136  1625747   44.91%
   2576   144     3813.7153   815     6922.1386     3813.7151  1670242   44.91%
   2644   135     3813.7179   767     6922.1386     3813.7151  1676891   44.91%
   2757   332     3813.7178   785     6922.1386     3813.7151  1720252   44.91%
   2831   410     3813.7165   532     6922.1386     3813.7151  1748509   44.91%
   2908   481     3813.7180   486     6922.1386     3813.7151  1775102   44.91%
   3017   487     3813.7186   726     6922.1386     3813.7151  1781439   44.91%
   3115   631     3813.7180   575     6922.1386     3813.7151  1807443   44.91%
*  3195+  699                         6922.1383     3813.7151            44.91%
   3195   701     3813.7169   861     6922.1383     3813.7151  1844570   44.91%
*  3227+  700                         6858.9893     3813.7151            44.40%
   3273   819     3813.7175   723     6858.9893     3813.7151  1866322   44.40%
Elapsed time = 2419.36 sec. (869172.73 ticks, tree = 66.18 MB)
*  3299+  832                         6853.9268     3813.7151            44.36%
*  3299+  832                         6853.9266     3813.7151            44.36%
   3350   893     3813.7180   656     6853.9266     3813.7151  1898187   44.36%
   3383   946     3813.7170   589     6853.9266     3813.7151  1918620   44.36%
   3444  1007     3813.7172   823     6853.9266     3813.7151  1956863   44.36%
   3516  1076     3813.7171   586     6853.9266     3813.7151  2001037   44.36%
*  3561+ 1104                         6848.8649     3813.7151            44.32%
*  3562+ 1104                         6848.8646     3813.7151            44.32%
   3599  1107     3813.7165   607     6848.8646     3813.7151  2000396   44.32%
   3675  1221     3813.7172   634     6848.8646     3813.7151  2047304   44.32%
   3704  1237     3813.7172   618     6848.8646     3813.7151  2050839   44.32%
   3709  1208     3813.7276   718     6848.8646     3813.7151  2051678   44.32%
   3714  1254     3813.7192   666     6848.8646     3813.7151  2076878   44.32%
   3728  1266     3813.7208   744     6848.8646     3813.7151  2080720   44.32%
Elapsed time = 2626.28 sec. (910111.20 ticks, tree = 118.68 MB)
   3737  1271     3813.7258   693     6848.8646     3813.7151  2093246   44.32%
   3755  1293     3813.7186   805     6848.8646     3813.7151  2105664   44.32%
   3785  1343     3813.7242   396     6848.8646     3813.7151  2110728   44.32%
   3804  1343     3813.7366   942     6848.8646     3813.7151  2120797   44.32%
   3821  1353     3813.7239   660     6848.8646     3813.7151  2132404   44.32%
   3831  1373     3813.7242   623     6848.8646     3813.7151  2143052   44.32%
   3841  1383     3813.7241   586     6848.8646     3813.7151  2147002   44.32%
   3859  1083     3813.7171   696     6848.8646     3813.7151  2002870   44.32%
   3877  1423     3813.7171   541     6848.8646     3813.7151  2156123   44.32%
   3898  1450     3813.7231   661     6848.8646     3813.7151  2162525   44.32%
Elapsed time = 2845.48 sec. (955824.24 ticks, tree = 144.30 MB)
   3920  1475     3813.7188   495     6848.8646     3813.7151  2180077   44.32%
   3970  1487     3813.7226   730     6848.8646     3813.7151  2186449   44.32%
   4014  1542     3813.7166   677     6848.8646     3813.7151  2205324   44.32%
   4043  1632     3813.7180   520     6848.8646     3813.7151  2243200   44.32%
   4078  1543     3813.7233   771     6848.8646     3813.7151  2216199   44.32%
   4091  1649     3813.7236   781     6848.8646     3813.7151  2254981   44.32%
   4110  1679     3813.7300   621     6848.8646     3813.7151  2265139   44.32%
   4117  1656     3813.7236   698     6848.8646     3813.7151  2263436   44.32%
*  4121+ 1693                         6695.0842     3813.7151            43.04%
   4133  1706     3813.7251   747     6695.0842     3813.7151  2296808   43.04%
   4140  1713     3813.7343   852     6695.0842     3813.7151  2299959   43.04%
Elapsed time = 3024.19 sec. (997319.36 ticks, tree = 180.20 MB)
   4164  1736     3813.7427   624     6695.0842     3813.7151  2302937   43.04%
   4183  1731     3813.7243   558     6695.0842     3813.7151  2320460   43.04%
   4210  1755     3813.7545   800     6695.0842     3813.7151  2309947   43.04%
   4245  1776     3813.7430   562     6695.0842     3813.7151  2330225   43.04%
   4301  1808     3813.7295   604     6695.0842     3813.7151  2341638   43.04%
   4336  1833     3813.7213   732     6695.0842     3813.7151  2343979   43.04%
   4359  1824     3813.7337   664     6695.0842     3813.7151  2349497   43.04%
   4399  1920     3813.7377   631     6695.0842     3813.7151  2394384   43.04%
*  4408+ 1923                         6406.1449     3813.7151            40.47%
   4408  1925     3813.7308   631     6406.1449     3813.7151  2398063   40.47%
   4428  1945     3813.7355   771     6406.1449     3813.7151  2422670   40.47%
Elapsed time = 3188.81 sec. (1040387.07 ticks, tree = 217.16 MB)
   4447  1972     3813.7522   733     6406.1449     3813.7151  2439897   40.47%
   4455  1975     3813.7522   604     6406.1449     3813.7151  2443095   40.47%
   4463  1990     3813.7380   628     6406.1449     3813.7151  2455976   40.47%
   4478  2017     3813.7262   701     6406.1449     3813.7151  2489699   40.47%
   4500  2029     3813.7187   309     6406.1449     3813.7151  2493463   40.47%
   4528  2040     3813.7373   732     6406.1449     3813.7151  2510621   40.47%
   4552  2049     3813.7373   639     6406.1449     3813.7151  2514229   40.47%
*  4575+ 2071                         6208.2633     3813.7151            38.57%
*  4576+ 2071                         6203.2046     3813.7151            38.52%
   4585  2142     3813.7352   552     6203.2046     3813.7151  2550713   38.52%
   4632  2154     3813.7392   592     6203.2046     3813.7151  2554592   38.52%
   4665  2161     3813.7275   708     6203.2046     3813.7151  2561814   38.52%
Elapsed time = 3350.23 sec. (1080712.24 ticks, tree = 251.77 MB)
   4686  2248     3813.7493   414     6203.2046     3813.7151  2604001   38.52%
   4699  2209     3813.7606   753     6203.2046     3813.7151  2595925   38.52%
   4716  2213     3813.7554   681     6203.2046     3813.7151  2600460   38.52%
   4738  2307     3813.7272   610     6203.2046     3813.7151  2641533   38.52%
   4830  2364     3813.7280   469     6203.2046     3813.7151  2644940   38.52%
   4927  2448     3813.7294   472     6203.2046     3813.7151  2648572   38.52%
*  4973+ 2338                         6193.0862     3813.7151            38.42%
   4979  2335     3813.9293   810     6193.0862     3813.7151  2661474   38.42%
   5019  2565     3813.7384   462     6193.0862     3813.7151  2686915   38.42%
   5063  2600     3813.7214   487     6193.0862     3813.7151  2701745   38.42%
   5139  2620     3813.7214   382     6193.0862     3813.7151  2705376   38.42%
Elapsed time = 3499.78 sec. (1119969.09 ticks, tree = 330.59 MB)
   5227  2639     3814.4818   808     6193.0862     3813.7151  2720386   38.42%
   5267  2676     3813.7847   467     6193.0862     3813.7151  2717464   38.42%
   5343  2709     3813.7960   633     6193.0862     3813.7151  2721319   38.42%
   5412  2650     3814.4864   977     6193.0862     3813.7151  2729813   38.42%
   5460  2925     3813.7813   236     6193.0862     3813.7151  2810883   38.42%
   5520  2956     3814.4847   853     6193.0862     3813.7151  2836762   38.42%
   5534  2967     3813.8316   555     6193.0862     3813.7151  2806835   38.42%
   5558  2938     3813.7797   676     6193.0862     3813.7151  2836635   38.42%
   5597  3139     3813.7280   683     6193.0862     3813.7151  2926652   38.42%
   5631  3187     3813.7306   572     6193.0862     3813.7151  2969801   38.42%
Elapsed time = 3686.69 sec. (1160034.65 ticks, tree = 434.42 MB)
   5657  3166     3813.7711   710     6193.0862     3813.7151  2961933   38.42%
   5694  3230     3813.7299   683     6193.0862     3813.7151  3023151   38.42%
   5754  3228     3813.7905   628     6193.0862     3813.7151  3013246   38.42%
   5789  3315     3813.7503   598     6193.0862     3813.7151  3100345   38.42%
   5859  3323     3813.7458   720     6193.0862     3813.7151  3104073   38.42%
   5919  3376     3813.7239   592     6193.0862     3813.7151  3142991   38.42%
   5962  3414     3813.7380   453     6193.0862     3813.7151  3175648   38.42%
   6014  3369     3813.8038   270     6193.0862     3813.7151  3134603   38.42%
   6061  3445     3813.7949   608     6193.0862     3813.7151  3201685   38.42%
   6083  3421     3813.7380   448     6193.0862     3813.7151  3186915   38.42%
Elapsed time = 3886.81 sec. (1199773.18 ticks, tree = 475.11 MB)
   6132  3620     3813.8038   233     6193.0862     3813.7151  3260208   38.42%
   6180  3631     3813.8038   170     6193.0862     3813.7151  3264014   38.42%
   6236  3662     3813.7971   675     6193.0862     3813.7151  3288914   38.42%
   6281  3725     3813.7430   687     6193.0862     3813.7151  3304493   38.42%
   6318  3876     3813.8014   545     6193.0862     3813.7151  3413545   38.42%
   6383  3774     3813.8191   788     6193.0862     3813.7151  3385062   38.42%
   6481  3843     3813.7451   548     6193.0862     3813.7151  3405566   38.42%
   6560  3961     3813.8267   697     6193.0862     3813.7151  3479547   38.42%
   6650  3890     3813.7451   782     6193.0862     3813.7151  3444615   38.42%
   6720  4204     3814.4955   708     6193.0862     3813.7151  3580664   38.42%
Elapsed time = 4082.44 sec. (1239237.17 ticks, tree = 622.87 MB)
   6840  4138     3813.7381   629     6193.0862     3813.7151  3558430   38.42%
   6937  4021     3813.7547   696     6193.0862     3813.7151  3516485   38.42%
   7006  4376     3813.8364   607     6193.0862     3813.7151  3647769   38.42%
   7071  4397     3813.8385   475     6193.0862     3813.7151  3651507   38.42%
   7112  4480     3813.7447   876     6193.0862     3813.7151  3681283   38.42%
   7124  4278     3813.7607   684     6193.0862     3813.7151  3645695   38.42%
   7161  4664     3813.8262   780     6193.0862     3813.7151  3745797   38.42%
   7182  4716     3813.8259   658     6193.0862     3813.7151  3796932   38.42%
   7244  4700     3813.7239   473     6193.0862     3813.7151  3787518   38.42%
   7266  4678     3813.7447   709     6193.0862     3813.7151  3775115   38.42%
Elapsed time = 4282.22 sec. (1278870.53 ticks, tree = 716.25 MB)
   7317  4762     3816.6741   703     6193.0862     3813.7151  3824604   38.42%
   7375  4884     3813.7436   696     6193.0862     3813.7151  3907978   38.42%
   7429  4853     3816.6875   802     6193.0862     3813.7151  3896312   38.42%
   7475  4949     3813.8441   479     6193.0862     3813.7151  3931634   38.42%
   7514  4874     3816.6926   820     6193.0862     3813.7151  3904415   38.42%
   7529  4968     3813.7594   793     6193.0862     3813.7151  3975393   38.42%
   7549  4977     3813.7397   625     6193.0862     3813.7151  3979428   38.42%
   7622  5084     3814.4074   613     6193.0862     3813.7151  4004520   38.42%
   7665  5061     3816.7095   441     6193.0862     3813.7151  3999974   38.42%
   7698  5125     3813.8439   424     6193.0862     3813.7151  4007706   38.42%
Elapsed time = 4490.36 sec. (1318631.79 ticks, tree = 808.25 MB)
   7741  5099     3813.7667   619     6193.0862     3813.7151  4031583   38.42%
   7792  5345     3814.4308   534     6193.0862     3813.7151  4096823   38.42%
   7821  5301     3813.7716   576     6193.0862     3813.7151  4087944   38.42%
   7877  5355     3813.8689   595     6193.0862     3813.7151  4104655   38.42%
   7955  5369     3813.7449   530     6193.0862     3813.7151  4103426   38.42%
   8005  5475     3813.9469   622     6193.0862     3813.7151  4132873   38.42%
   8088  5489     3813.7631   641     6193.0862     3813.7151  4165655   38.42%
   8157  5500     3813.9506   733     6193.0862     3813.7151  4140660   38.42%
   8245  5617     3813.7906   460     6193.0862     3813.7151  4197742   38.42%
   8300  5657     3818.1865   727     6193.0862     3813.7151  4209482   38.42%
Elapsed time = 4671.13 sec. (1357376.70 ticks, tree = 925.38 MB)
   8372  5719     3813.8442   557     6193.0862     3813.7151  4244672   38.42%
   8410  5678     3818.2763   763     6193.0862     3813.7151  4216735   38.42%
   8499  5912     3813.8270   541     6193.0862     3813.7151  4311535   38.42%
   8554  5952     3818.2813   801     6193.0862     3813.7151  4324268   38.42%
   8597  6012     3813.7668   576     6193.0862     3813.7151  4374870   38.42%
   8633  5988     3818.4960   722     6193.0862     3813.7151  4332029   38.42%
   8692  6020     3813.7668   576     6193.0862     3813.7151  4382953   38.42%
   8774  6005     3813.8378   666     6193.0862     3813.7151  4370611   38.42%
   8856  6308     3813.9910   756     6193.0862     3813.7151  4471737   38.42%
   8897  6368     3813.9289   578     6193.0862     3813.7151  4504519   38.42%
Elapsed time = 4867.41 sec. (1396231.46 ticks, tree = 1082.83 MB)
   8927  6167     3813.8637   826     6193.0862     3813.7151  4451450   38.42%
*  8947+ 6327                         5688.7615     3813.7151            32.96%
*  8951+ 6327                         5570.2116     3813.7151            31.53%
   8951  6303     3813.8732   934     5570.2116     3813.7151  4498878   31.53%
   9056  6403     3813.9596   611     5570.2116     3813.7151  4516365   31.53%
   9128  6414     3813.8220   420     5570.2116     3813.7151  4560749   31.53%
   9197  6542     3814.0088   383     5570.2116     3813.7151  4584721   31.53%
   9236  6658     3813.8234   648     5570.2116     3813.7151  4670244   31.53%
*  9286+ 6676                         5448.9038     3813.7151            30.01%
   9286  6529     3818.5686   545     5448.9038     3813.7151  4614443   30.01%
*  9287+ 6676                         5402.6231     3813.7151            29.41%
*  9289+ 6676                         5400.9366     3813.7151            29.39%
*  9289+ 6676                         5399.2504     3813.7151            29.37%
*  9291+ 6676                         5398.6693     3813.7151            29.36%
*  9291+ 6676                         5395.2968     3813.7151            29.31%
   9306  6708     3818.5174   753     5395.2968     3813.7151  4704697   29.31%
*  9329+ 6712                         5318.5972     3813.7151            28.29%
   9344  6753     3813.8246   608     5318.5972     3813.7151  4708969   28.29%
   9384  6771     3814.6075   724     5318.5972     3813.7151  4739543   28.29%
Elapsed time = 5046.83 sec. (1436787.34 ticks, tree = 1172.89 MB)
   9432  6894     3814.0222   188     5318.5972     3813.7151  4750654   28.29%
   9506  6823     3818.5065   214     5318.5972     3813.7151  4723082   28.29%
   9568  6998     3813.7653   398     5318.5972     3813.7151  4769384   28.29%
   9623  7020     3818.5070   646     5318.5972     3813.7151  4786948   28.29%
   9689  7074     3814.5255   311     5318.5972     3813.7151  4822031   28.29%
   9711  7094     3814.5746   584     5318.5972     3813.7151  4826084   28.29%
   9734  7033     3815.1235   619     5318.5972     3813.7151  4832577   28.29%
   9783  7199     3814.0518   610     5318.5972     3813.7151  4839307   28.29%
   9812  7234     3814.0650   575     5318.5972     3813.7151  4850010   28.29%
   9836  7172     3813.9093   836     5318.5972     3813.7151  4848897   28.29%
Elapsed time = 5208.91 sec. (1478230.56 ticks, tree = 1265.63 MB)
   9890  7186     3813.9142   768     5318.5972     3813.7151  4852535   28.29%
   9911  7325     3814.5803   443     5318.5972     3813.7151  4868819   28.29%
   9940  7205     3813.9152   820     5318.5972     3813.7151  4860141   28.29%
* 10000+ 7327                         5310.1628     3813.7151            28.18%
  10079  7466     3813.7616   498     5310.1628     3813.7151  4911970   28.18%
  10144  7549     3814.5980   433     5310.1628     3813.7151  4925530   28.18%
* 10175+ 7544                         5294.9802     3813.7151            27.97%
  10196  7568     3814.5996   468     5294.9802     3813.7151  4929541   27.97%
  10246  7498     3818.5211   710     5294.9802     3813.7151  4925825   27.97%
  10273  7602     3814.0731   625     5294.9802     3813.7151  4972562   27.97%
  10289  7580     3814.6687   639     5294.9802     3813.7151  4943753   27.97%
  10315  7691     3813.8076   850     5294.9802     3813.7151  4986406   27.97%
Elapsed time = 5380.25 sec. (1519117.57 ticks, tree = 1384.86 MB)
  10340  7646     3813.8172   538     5294.9802     3813.7151  4980854   27.97%
  10385  7729     3818.5195   420     5294.9802     3813.7151  5020359   27.97%
  10420  7825     3814.6436   847     5294.9802     3813.7151  5063119   27.97%
  10438  7873     3813.8165   566     5294.9802     3813.7151  5105880   27.97%
  10458  7882     3813.7904   510     5294.9802     3813.7151  5110062   27.97%
* 10464+ 7919                         5274.6891     3813.7151            27.70%
* 10464+ 7919                         5273.0026     3813.7151            27.67%
  10520  7947     3820.6408   693     5273.0026     3813.7151  5130217   27.67%
  10572  7961     3814.0911   652     5273.0026     3813.7151  5155937   27.67%
  10620  7960     3820.6410   631     5273.0026     3813.7151  5140168   27.67%
  10664  8023     3813.9136   689     5273.0026     3813.7151  5192260   27.67%
  10720  8016     3814.0981   306     5273.0026     3813.7151  5163777   27.67%
Elapsed time = 5521.84 sec. (1559302.86 ticks, tree = 1460.49 MB)
  10771  8067     3813.9107   536     5273.0026     3813.7151  5199067   27.67%
  10824  8298     3813.9198   492     5273.0026     3813.7151  5274301   27.67%
  10907  8332     3813.9221   564     5273.0026     3813.7151  5277975   27.67%
  10935  8350     3815.9080   904     5273.0026     3813.7151  5281682   27.67%
  10965  8053     3813.8784   740     5273.0026     3813.7151  5219635   27.67%
  11006  8366     3815.3395   794     5273.0026     3813.7151  5289966   27.67%
  11046  8392     3814.0989   535     5273.0026     3813.7151  5354422   27.67%
  11089  8399     3814.1062   573     5273.0026     3813.7151  5359260   27.67%
  11168  8563     3815.7485   761     5273.0026     3813.7151  5424443   27.67%
  11259  8426     3814.1087   120     5273.0026     3813.7151  5367966   27.67%
Elapsed time = 5710.11 sec. (1599995.78 ticks, tree = 1558.30 MB)
  11278  8435     3814.1159   491     5273.0026     3813.7151  5372053   27.67%
  11335  8649     3836.1725   506     5273.0026     3813.7151  5470431   27.67%
  11428  8890     3816.3374   691     5273.0026     3813.7151  5552174   27.67%
  11480  8695     3836.1997   564     5273.0026     3813.7151  5480115   27.67%
  11581  8735     3836.2384   399     5273.0026     3813.7151  5484544   27.67%
  11615  8751     3836.9223   505     5273.0026     3813.7151  5489709   27.67%
  11678  8924     3814.6450   730     5273.0026     3813.7151  5595612   27.67%
  11712  8935     3815.2786   697     5273.0026     3813.7151  5599832   27.67%
  11793  8922     3813.8797   408     5273.0026     3813.7151  5584814   27.67%
  11872  8974     3815.2827   678     5273.0026     3813.7151  5607012   27.67%
Elapsed time = 5880.50 sec. (1638990.29 ticks, tree = 1689.12 MB)
  11905  9111     3857.9364   472     5273.0026     3813.7151  5651597   27.67%
  12033  8969     3815.7398   735     5273.0026     3813.7151  5597103   27.67%
  12197  9442     3925.1151   317     5273.0026     3813.7151  5780768   27.67%
  12343  9547     3815.4011   695     5273.0026     3813.7151  5806994   27.67%
  12585  9584     3966.1926    80     5273.0026     3813.7151  5794134   27.67%
  12744  9660     3968.9654   167     5273.0026     3813.7151  5800591   27.67%
  12877  9749     3815.4230   587     5273.0026     3813.7151  5817907   27.67%
  13065  9666     3815.1334   402     5273.0026     3813.7151  5860392   27.67%
  13250 10451     4133.2044     2     5273.0026     3813.7151  5996270   27.67%
* 13253 10450      integral     0     4133.2044     3813.7151  5996445    7.73%
  13306 10650     3813.9555   649     4133.2044     3813.7151  6040230    7.73%
Elapsed time = 6070.05 sec. (1677627.24 ticks, tree = 2094.85 MB)
Nodefile size = 37.89 MB (11.23 MB after compression)
  13362  9941     3815.8813   826     4133.2044     3813.7151  5962510    7.73%
  13414 10609     3817.7376   789     4133.2044     3813.7151  6030903    7.73%
  13492 10764     3813.7182   683     4133.2044     3813.7151  6055839    7.73%
  13566 10862     3814.9489   587     4133.2044     3813.7151  6110385    7.73%
  13632 10812     3815.1532   780     4133.2044     3813.7151  6089912    7.73%
  13683 11086     3813.7182   671     4133.2044     3813.7151  6257791    7.73%
  13730 11180     3815.4507   594     4133.2044     3813.7151  6310476    7.73%
  13749 11192     3816.2961   681     4133.2044     3813.7151  6316297    7.73%
  13813 10931     3815.9041   717     4133.2044     3813.7151  6179825    7.73%
  13904 11109     3813.7189   604     4133.2044     3813.7151  6271103    7.73%
Elapsed time = 6263.63 sec. (1717488.07 ticks, tree = 2198.82 MB)
Nodefile size = 143.25 MB (42.09 MB after compression)
  13998 11286     3815.9205   694     4133.2044     3813.7151  6344944    7.73%
  14162 11377     3815.2049   656     4133.2044     3813.7151  6376224    7.73%
  14266 11580     3835.4122   818     4133.2044     3813.7151  6449291    7.73%
  14334 11409     3813.7206   639     4133.2044     3813.7151  6402011    7.73%
  14392 11452     3896.3613   517     4133.2044     3813.7151  6387456    7.73%
  14448 11586     3818.5743   463     4133.2044     3813.7151  6438516    7.73%
  14563 11435     3813.7241   748     4133.2044     3813.7151  6412139    7.73%
  14663 11959     3966.0258   359     4133.2044     3813.7151  6562310    7.73%
  14740 11981     3966.0258   285     4133.2044     3813.7151  6570545    7.73%
  14810 12017     3972.0917    89     4133.2044     3813.7151  6576602    7.73%
Elapsed time = 6462.58 sec. (1756483.91 ticks, tree = 2419.83 MB)
Nodefile size = 339.83 MB (99.65 MB after compression)
* 14895+11988                         4126.6136     3813.7151             7.58%
  14961 12085     3972.1307    32     4126.6136     3813.7151  6582027    7.58%
Starting limited solution polishing.
  15066 12151     3885.8729   552     4126.6136     3813.7151  6644912    7.58%
  15202 12220     3892.5101   194     4126.6136     3813.7151  6650343    7.58%
  15370 12465     3980.6370   244     4126.6136     3813.7151  6787871    7.58%
  15561 12531     4003.7153    69     4126.6136     3813.7151  6794117    7.58%
  15767 12775     3902.9710   122     4126.6136     3813.7151  6818587    7.58%
* 15819+12612                         4124.9274     3813.7151             7.54%
* 15922+12844                         4123.2356     3813.7151             7.51%
  15930 12921     3822.6834   424     4123.2356     3813.7151  6871609    7.51%
  16098 13427     4081.0562    15     4123.2356     3813.7151  6952125    7.51%
* 16150 13410      integral     0     4041.5379     3813.7151  6954401    5.64%
  16233 12832     3816.7821   804     4041.5379     3813.7151  6856121    5.64%
Elapsed time = 6655.25 sec. (1792586.67 ticks, tree = 2614.32 MB)
Nodefile size = 555.06 MB (165.47 MB after compression)
  16277 13196     3813.7151   613     4041.5379     3813.7151  6960224    5.64%
  16305 13174     3837.6976   827     4041.5379     3813.7151  6948256    5.64%
  16375 13208     3813.7153   669     4041.5379     3813.7151  6966821    5.64%
  16439 13346     3815.2371   630     4041.5379     3813.7151  7048698    5.64%
  16562 13491     3822.6962   105     4041.5379     3813.7151  7121540    5.64%
* 16593+13425                         3980.0906     3813.7151             4.18%
* 16638+13425                         3978.4323     3813.7151             4.14%
  16638 13512     3822.9814   762     3978.4323     3813.7151  7129393    4.14%
* 16697+13669                         3974.3709     3813.7151             4.04%
  16697 13529     3826.0925    71     3974.3709     3813.7151  7136650    4.04%
  16788 13438     3962.2376   414     3974.3709     3813.7151  7141839    4.04%
  16833 13363     3851.5125   710     3974.3709     3813.7151  7145212    4.04%
  16865 13380     3869.6247   605     3974.3709     3813.7151  7151016    4.04%
Elapsed time = 6836.41 sec. (1834515.14 ticks, tree = 2741.56 MB)
Nodefile size = 666.66 MB (201.11 MB after compression)
* 16883+13386                         3955.3160     3813.7151             3.58%
* 16883+13386                         3955.3144     3813.7151             3.58%
  16889 13195     3837.8969   679     3955.3144     3813.7151  7207717    3.58%
  16921 13216     3837.9248   693     3955.3144     3813.7151  7213674    3.58%
  17001 13256     3822.8187   626     3955.3144     3813.7151  7224773    3.58%
  17022 13420     3815.2396   581     3955.3144     3813.7151  7164700    3.58%
  17069 13427     3815.2451   601     3955.3144     3813.7151  7168681    3.58%
* 17070+13288                         3950.2535     3813.7151             3.46%
  17121 13374     3838.0136   632     3950.2535     3813.7151  7246850    3.46%
  17169 13286     3819.7316   589     3950.2535     3813.7151  7226867    3.46%
  17246 13350     3816.9920    94     3950.2535     3813.7151  7256799    3.46%
* 17288+13449                         3950.2533     3813.7151             3.46%
  17321 13607     3816.9920   310     3950.2533     3813.7151  7346337    3.46%
  17363 13529     3819.8126   542     3950.2533     3813.7151  7319436    3.46%
Elapsed time = 6992.42 sec. (1876293.06 ticks, tree = 2776.74 MB)
Nodefile size = 717.24 MB (218.52 MB after compression)
* 17410+13549                         3950.2525     3813.7151             3.46%
  17436 13487     3824.6978   443     3950.2525     3813.7151  7313450    3.46%
* 17441+13486                         3946.8789     3813.7151             3.37%
* 17464+13837                         3946.8786     3813.7151             3.37%
  17501 13737     3821.3840   590     3946.8786     3813.7151  7381669    3.37%
  17578 13770     3822.8461   605     3946.8786     3813.7151  7387692    3.37%
* 17651+13788                         3946.8737     3813.7151             3.37%
* 17653+13788                         3945.1872     3813.7151             3.33%
  17668 13669     3813.7836   764     3945.1872     3813.7151  7375569    3.33%
  17767 13485     3813.7170   811     3945.1872     3813.7151  7312086    3.33%
* 17798+14012                         3941.8150     3813.7151             3.25%
  17814 13892     3813.7753   819     3941.8150     3813.7151  7435934    3.25%
  17861 14022     3813.7194   867     3941.8150     3813.7151  7474744    3.25%
  17918 14028     3813.7174   817     3941.8150     3813.7151  7478222    3.25%
* 17927+14109                         3936.6418     3813.7151             3.12%
  17966 13932     3837.9939   605     3936.6418     3813.7151  7461297    3.12%
* 18009+14286                         3931.6887     3813.7151             3.00%
  18035 14212     3825.5736   142     3931.6887     3813.7151  7592377    3.00%
Elapsed time = 7199.94 sec. (1915635.34 ticks, tree = 2927.27 MB)
Nodefile size = 868.25 MB (264.44 MB after compression)
  18092 14158     3813.7955   890     3931.6887     3813.7151  7551071    3.00%
  18105 14169     3813.7926   829     3931.6887     3813.7151  7554557    3.00%

Flow cuts applied:  174
Mixed integer rounding cuts applied:  12
Zero-half cuts applied:  1
Lift and project cuts applied:  1

Root node processing (before b&c):
  Real time             =   86.34 sec. (71283.42 ticks)
Parallel b&c, 8 threads:
  Real time             = 7116.45 sec. (1864741.57 ticks)
  Sync time (average)   =  626.60 sec.
  Wait time (average)   =    0.10 sec.
                          ------------
Total (root+branch&cut) = 7202.80 sec. (1936024.99 ticks)
Parallel mode: deterministic, using up to 8 threads for concurrent optimization:
 * Starting dual Simplex on 1 thread...
 * Starting Barrier on 6 threads...
 * Starting primal Simplex on 1 thread...
LP Presolve eliminated 11008 rows and 74148 columns.
All rows and columns eliminated.

Dual simplex solved model.

CPLEX 20.1.0.0: time limit with integer solution; objective 3931.688662
7806215 MIP simplex iterations
18107 branch-and-bound nodes
absmipgap = 117.974, relmipgap = 0.0300058
COSTOS = 3931.69

NVS [*] :=
1  0.942815
2  0.921283
3  0.991163
4  1
5  0.928467
;

O [1,*,*] (tr)
:    1   2   3   4   5   6    7     :=
1    2   4   4   1   2    4    2
2    3   4   4   4   4    4    3
3    4   4   4   6   6    3    4
4    6   6   6   6   6    5    6
5    6   5   6   6   6    7   10
6    6   6   6   6   7    9   11
7    6   6   5   6   5    9    9
8    5   6   6   6   7    8    7
9    5   6   6   6   6    8   12
10   7   6   6   6   7   10   12
11   6   7   6   7   8   10   11
12   8   8   6   8   8   10   12
13   8   8   4   8   9    8    6
14   6   8   4   8   8    5    8
15   4   3   4   4   4    3    1

 [2,*,*] (tr)
:    1   2    3   4    5   6    7     :=
1    2    4   4    4   2    1    2
2    2    4   4    8   4    4    4
3    4    5   4    6   6    6    4
4    5    6   7    9   6    6    6
5    6    6   4    8   7    6    8
6    6    6   8   11   6    8    9
7    6    6   6    6   5    7   10
8    6    6   6    6   7    8    8
9    6    6   6    6   5    8    6
10   6   10   7    5   6   10   10
11   6    8   8    8   8    9    8
12   7    9   7   10   9   11    8
13   8    8   8    9   8    6    7
14   7    8   8    8   9    8    1
15   4    4   5    3   4    4    2

 [3,*,*] (tr)
:    1   2   3   4   5   6    7     :=
1    2   4   4   4   2    4    2
2    4   4   4   4   4    4    4
3    4   6   4   6   4    6    4
4    6   6   6   6   6    5    6
5    5   6   6   6   6    8   10
6    6   6   6   6   5    7   11
7    6   6   6   6   6    8   10
8    6   7   6   6   6    8    8
9    6   6   6   6   6    8   13
10   6   6   8   6   6   10   12
11   6   8   6   8   8   11   13
12   9   9   6   7   8   10   13
13   8   8   6   9   8    8    8
14   8   8   6   8   8    8    7
15   4   4   4   4   4    4    2

 [4,*,*] (tr)
:    1   2    3   4   5   6    7     :=
1    2    4   4   4   2    4    2
2    4    4   4   4   4    4    4
3    4    6   4   6   6    6    4
4    6    6   6   6   6    6    6
5    6    7   6   6   6    8   10
6    6    7   6   6   7    8   11
7    6    6   6   6   6    8   10
8    6    6   5   6   6    8    8
9    6    6   6   6   6    8   11
10   6    7   7   6   6   10   14
11   6    9   6   8   8   10   13
12   8    8   6   8   9    9   11
13   8   10   8   8   8    8    8
14   7    8   7   7   7    9    7
15   4    4   4   4   4    4    2

 [5,*,*] (tr)
:    1   2   3    4   5   6    7     :=
1    2   4    4   1   2    3    1
2    4   4    4   4   4    4    4
3    4   7    6   5   5    5    4
4    5   8    6   6   5    7    4
5    6   6    7   6   5    8    9
6    5   8    7   6   6    8   11
7    6   6    6   6   5    8   10
8    6   9    7   8   3    8    8
9    6   6    6   5   6    8   13
10   7   8    8   6   6    8    9
11   6   8    7   8   8    9   10
12   8   8   11   8   8   10    8
13   8   8    9   7   8    8    7
14   2   9    8   8   7    8    8
15   1   4    4   4   1    4    1
;

X [*,*] (tr)
:    1   2   3   4   5   6    :=
1    3   2   2   3   3   0
2    1   3   1   1   1   0
4    2   1   1   2   1   0
7    1   1   4   2   1   0
9    1   0   3   0   2   0
12   3   0   3   1   1   0
13   1   1   3   3   2   0
14   1   1   1   1   1   0
17   2   2   1   2   1   0
18   2   0   0   3   3   0
22   5   5   2   1   0   0
25   4   1   2   7   2   1
;

:       PE  PF    :=
1 1 2    0   1
1 1 8    0   1
1 1 9    0   1
1 1 14   0   2
1 2 3    0   2
1 2 5    0   1
1 2 11   0   1
1 2 15   0   1
1 3 7    0   1
1 3 10   0   2
1 3 13   0   4
1 3 14   0   4
1 4 1    0   3
1 5 10   1   0
1 6 3    0   3
1 6 5    0   1
1 6 11   0   1
1 6 14   0   3
1 6 15   0   1
1 7 2    0   1
1 7 10   0   1
1 7 11   0   2
1 7 13   0   1
1 7 15   0   1
2 1 2    0   2
2 1 4    0   1
2 1 14   0   1
2 2 3    1   2
2 2 10   4   0
2 2 12   1   0
2 3 4    1   0
2 3 5    0   2
2 3 6    2   0
2 3 11   2   0
2 3 12   1   0
2 3 15   1   0
2 4 2    4   0
2 4 4    3   0
2 4 5    2   0
2 4 6    5   0
2 4 12   2   0
2 4 13   1   0
2 4 15   0   1
2 5 3    0   1
2 5 7    0   1
2 5 9    0   1
2 5 12   1   0
2 5 13   0   1
2 6 1    0   3
2 6 5    0   2
2 6 7    0   1
2 6 13   0   2
2 7 5    0   2
2 7 6    0   3
2 7 7    0   1
2 7 9    0   5
2 7 10   0   5
2 7 11   0   5
2 7 12   0   4
2 7 13   0   1
2 7 14   0   7
3 2 12   1   0
3 3 13   0   2
3 3 14   0   2
3 4 13   1   0
3 5 3    0   1
3 7 6    0   1
4 2 5    1   0
4 2 6    1   0
4 2 10   1   0
4 2 13   1   0
4 4 8    1   0
5 1 4    0   1
5 1 6    0   2
5 1 14   0   6
5 1 15   0   3
5 2 3    1   0
5 2 4    2   0
5 2 6    2   0
5 2 8    3   0
5 2 10   2   0
5 3 3    2   0
5 3 5    1   0
5 3 6    1   0
5 3 8    1   0
5 3 11   1   0
5 3 12   5   0
5 3 13   1   0
5 4 1    0   3
5 4 3    0   1
5 4 8    1   0
5 4 13   0   1
5 5 3    0   1
5 5 4    0   1
5 5 5    0   1
5 5 7    0   1
5 5 8    0   3
5 5 14   0   1
5 5 15   0   3
5 6 1    0   1
5 6 10   0   2
5 7 1    0   1
5 7 4    0   2
5 7 6    0   1
5 7 10   0   6
5 7 11   0   2
5 7 12   0   4
5 7 13   0   1
5 7 15   0   1
;

PO [*,1,1,*] (tr)
:    1   2   4    :=
1    1   0   1
2    2   0   1
3    2   0   2
4    3   1   2
5    3   3   0
6    4   2   0
7    3   3   0
8    1   2   2
9    2   1   2
10   3   1   3
11   4   0   2
12   3   1   4
13   3   1   4
14   3   1   2
15   1   1   2

 [*,1,2,*] (tr)
:    1   2   4    :=
1    1   3   0
2    1   3   0
3    1   3   0
4    1   4   1
5    1   3   1
6    2   3   1
7    4   2   0
8    5   0   1
9    4   2   0
10   3   2   1
11   4   2   1
12   5   2   1
13   5   2   1
14   5   2   1
15   2   1   0

 [*,1,3,*] (tr)
:    1   2   4    :=
1    4   0   0
2    4   0   0
3    4   0   0
4    4   0   2
5    4   1   1
6    4   1   1
7    3   0   2
8    5   0   1
9    4   1   1
10   4   2   0
11   2   1   3
12   3   1   2
13   3   1   0
14   3   1   0
15   3   1   0

 [*,1,4,*] (tr)
:    1   2   4    :=
1    1   0   0
2    3   0   1
3    5   0   1
4    6   0   0
5    5   0   1
6    5   0   1
7    5   1   0
8    4   1   1
9    4   2   0
10   3   3   0
11   3   3   1
12   2   6   0
13   2   6   0
14   2   6   0
15   0   3   1

 [*,1,5,*] (tr)
:    1   2   4    :=
1    2   0   0
2    4   0   0
3    5   0   1
4    5   0   1
5    4   0   2
6    4   1   2
7    4   1   0
8    3   1   3
9    6   0   0
10   5   2   0
11   4   3   1
12   8   0   0
13   8   1   0
14   8   0   0
15   4   0   0

 [*,1,6,*] (tr)
:    1   2   4    :=
1    3   0   1
2    3   0   1
3    3   0   0
4    4   0   1
5    6   1   0
6    6   2   1
7    4   3   2
8    4   2   2
9    4   3   1
10   4   3   3
11   6   2   2
12   6   1   3
13   4   1   3
14   4   1   0
15   1   0   2

 [*,1,7,*] (tr)
:    1   2   4    :=
1    1   0   1
2    2   0   1
3    2   1   1
4    4   2   0
5    8   2   0
6    9   1   1
7    8   1   0
8    7   0   0
9    8   4   0
10   8   4   0
11   7   4   0
12   5   4   3
13   3   1   2
14   2   1   5
15   0   0   1

 [*,2,1,*] (tr)
:    2   7   9  12  17  22    :=
1    1   0   0   0   1   0
2    1   0   1   0   0   0
3    2   0   0   0   2   0
4    2   2   0   0   0   1
5    0   2   1   1   1   1
6    1   3   1   0   0   1
7    0   3   1   1   0   1
8    0   3   1   0   1   1
9    0   3   0   2   1   0
10   0   0   3   1   0   2
11   0   0   1   0   1   4
12   0   1   1   0   1   4
13   0   1   2   0   1   4
14   0   1   1   0   0   5
15   0   1   1   0   0   2

 [*,2,2,*] (tr)
:    2   7  12  17  22    :=
1    0   4   0   0   0
2    0   4   0   0   0
3    0   4   0   0   1
4    0   6   0   0   0
5    0   5   0   0   1
6    0   5   0   1   0
7    0   3   0   0   3
8    2   3   0   0   1
9    0   2   0   0   4
10   0   2   4   0   4
11   0   2   1   0   5
12   0   3   1   0   5
13   0   3   0   0   5
14   0   3   1   0   4
15   0   3   1   0   0

 [*,2,3,*] (tr)
:    2   7   9  12  17  22    :=
1    3   1   0   0   0   0
2    3   1   0   0   0   0
3    3   1   0   0   0   0
4    3   3   0   0   0   1
5    0   2   0   0   0   2
6    0   2   1   3   0   2
7    2   2   0   0   0   2
8    2   2   1   0   0   1
9    0   4   0   0   0   2
10   0   4   0   0   0   3
11   0   5   1   0   0   2
12   0   5   0   0   0   2
13   0   5   0   0   0   3
14   0   5   0   0   1   2
15   0   2   0   1   0   2

 [*,2,4,*] (tr)
:    2   7   9  12  17  22    :=
1    0   4   0   0   0   0
2    0   5   0   1   2   0
3    0   5   0   0   1   0
4    0   5   0   2   2   0
5    0   5   0   3   0   0
6    0   5   0   4   0   2
7    0   2   0   2   0   2
8    0   1   3   1   0   1
9    0   0   0   0   0   6
10   1   0   0   0   0   4
11   2   0   0   0   0   6
12   1   0   2   0   0   7
13   1   0   0   0   0   8
14   0   0   2   0   0   6
15   0   0   1   0   0   2

 [*,2,5,*] (tr)
:    2   7   9  12  17  22    :=
1    0   1   0   0   1   0
2    0   3   0   0   1   0
3    0   4   0   2   0   0
4    0   4   0   0   2   0
5    2   3   0   0   0   2
6    1   2   0   2   0   1
7    1   2   0   0   2   0
8    2   2   0   0   0   3
9    1   2   0   2   0   0
10   0   1   2   3   0   0
11   0   1   3   0   1   3
12   4   1   0   3   0   1
13   3   1   2   0   2   0
14   3   1   1   1   2   1
15   2   0   0   2   0   0

 [*,2,6,*] (tr)
:    2   7   9  12  17  22    :=
1    0   1   0   0   0   0
2    0   1   1   0   2   0
3    0   5   0   0   1   0
4    0   5   0   0   1   0
5    0   5   0   0   0   1
6    0   5   0   2   0   1
7    0   5   2   0   0   0
8    1   5   1   0   0   1
9    0   0   0   0   0   8
10   0   2   0   0   0   8
11   0   2   0   0   0   7
12   0   3   0   1   0   7
13   0   3   0   3   0   0
14   0   3   0   3   2   0
15   0   3   0   0   0   1

 [*,2,7,*] (tr)
:    2   7   9  12  17  22    :=
1    0   2   0   0   0   0
2    1   2   1   0   0   0
3    0   2   0   2   0   0
4    0   5   0   0   1   0
5    0   8   0   0   0   0
6    1   8   0   0   0   0
7    1   6   1   0   0   2
8    0   4   0   0   0   4
9    0   4   0   0   0   2
10   0   4   0   0   0   6
11   0   2   0   0   0   6
12   0   2   0   0   0   6
13   0   1   0   1   3   2
14   0   1   0   0   0   0
15   0   1   0   0   0   1

 [*,3,1,*] (tr)
:   12  13  14  18    :=
1    0   2   0   0
2    0   3   1   0
3    0   4   0   0
4    1   5   0   0
5    0   5   0   0
6    1   5   0   0
7    1   4   0   1
8    2   3   0   1
9    0   3   1   2
10   0   2   0   4
11   1   1   0   4
12   1   1   1   6
13   1   1   0   6
14   1   1   0   6
15   0   0   0   4

 [*,3,2,*] (tr)
:   12  13  14  18    :=
1    1   3   0   0
2    1   3   0   0
3    1   4   0   1
4    1   4   0   1
5    0   4   2   0
6    1   4   1   0
7    1   1   1   3
8    1   3   0   3
9    2   3   1   0
10   0   4   2   0
11   3   4   0   1
12   5   2   2   0
13   6   2   0   0
14   4   2   2   0
15   3   1   0   0

 [*,3,3,*] (tr)
:   12  13  14  18    :=
1    0   4   0   0
2    0   4   0   0
3    0   4   0   0
4    0   6   0   0
5    0   5   0   1
6    0   5   0   1
7    4   2   0   0
8    4   2   0   0
9    4   2   0   0
10   2   2   2   2
11   2   2   0   2
12   2   0   1   3
13   2   0   1   3
14   2   0   1   3
15   0   0   1   3

 [*,3,4,*] (tr)
:   12  13  14  18    :=
1    1   2   0   1
2    0   3   1   0
3    1   5   0   0
4    1   5   0   0
5    1   4   0   1
6    0   4   0   2
7    1   3   1   1
8    2   4   0   0
9    3   2   0   1
10   1   1   1   3
11   3   1   2   2
12   3   2   0   2
13   3   2   2   2
14   3   2   1   2
15   0   2   1   1

 [*,3,5,*] (tr)
:   12  13  14  18    :=
1    2   0   0   0
2    2   0   1   1
3    0   2   0   2
4    3   2   1   0
5    2   3   1   0
6    0   4   1   0
7    1   4   1   0
8    2   4   0   0
9    0   5   1   0
10   0   5   0   1
11   4   4   0   0
12   2   3   0   3
13   5   3   0   0
14   4   3   0   1
15   2   0   2   0

 [*,3,6,*] (tr)
:   12  13  14  18    :=
1    2   1   1   0
2    2   2   0   0
3    2   2   0   2
4    2   2   1   0
5    2   5   1   0
6    0   5   0   2
7    0   6   1   1
8    0   5   3   0
9    1   5   0   2
10   2   6   2   0
11   5   4   0   2
12   4   5   0   1
13   2   5   0   1
14   2   5   1   0
15   1   2   1   0

 [*,3,7,*] (tr)
:   12  13  14  18    :=
1    0   1   1   0
2    1   3   0   0
3    0   3   1   0
4    2   4   0   0
5    3   6   0   1
6    3   8   0   0
7    3   7   0   0
8    3   4   0   1
9    3   5   0   5
10   3   5   0   4
11   2   3   1   7
12   2   3   1   7
13   1   3   0   4
14   2   1   2   2
15   1   0   1   0

 [*,4,1,*] (tr)
:    4   9  14  17  18    :=
1    0   0   1   1   0
2    1   0   0   3   0
3    0   1   1   1   1
4    0   1   1   3   1
5    1   1   1   2   1
6    0   0   2   3   1
7    0   0   1   2   3
8    0   0   2   1   3
9    0   2   1   2   1
10   0   0   3   2   1
11   1   1   3   0   1
12   0   1   3   3   1
13   0   0   4   3   1
14   0   1   1   4   1
15   0   0   1   3   0

 [*,4,2,*] (tr)
:    4   9  14  17  18    :=
1    1   3   0   0   0
2    1   3   0   0   0
3    2   3   1   0   0
4    1   3   1   1   0
5    1   3   0   2   1
6    1   3   1   1   1
7    2   0   2   2   0
8    1   0   3   2   0
9    1   0   0   2   3
10   0   0   0   4   3
11   0   0   2   4   3
12   0   0   0   4   4
13   0   0   2   4   4
14   0   0   0   4   4
15   0   0   1   3   0

 [*,4,3,*] (tr)
:    4   9  14  17  18    :=
1    0   2   0   1   1
2    0   2   0   1   1
3    0   2   0   1   1
4    0   2   1   2   1
5    1   3   1   1   0
6    1   2   2   1   0
7    0   3   2   1   0
8    0   2   2   1   0
9    0   1   2   2   1
10   1   3   1   2   0
11   0   1   3   2   0
12   0   3   0   2   1
13   2   3   0   2   1
14   2   3   0   1   1
15   0   3   0   1   0

 [*,4,4,*] (tr)
:    4   9  14  17  18    :=
1    0   0   0   2   2
2    1   0   0   0   3
3    1   0   1   1   3
4    2   0   1   0   3
5    1   0   1   2   2
6    0   1   1   2   2
7    1   1   0   1   3
8    0   0   1   1   4
9    1   3   1   1   0
10   3   2   0   1   0
11   2   2   0   3   1
12   3   0   2   3   0
13   3   2   0   3   0
14   3   0   1   3   0
15   2   1   0   0   1

 [*,4,5,*] (tr)
:    4   9  14  17  18    :=
1    0   0   0   1   1
2    0   0   0   3   1
3    0   0   1   5   0
4    1   0   0   3   2
5    1   0   0   4   1
6    2   0   0   4   1
7    4   0   0   1   1
8    1   2   1   2   0
9    3   2   0   1   0
10   3   0   1   1   1
11   2   0   1   2   3
12   1   3   2   3   0
13   1   1   2   1   3
14   1   2   2   0   2
15   0   2   0   0   2

 [*,4,6,*] (tr)
:    4   9  14  17  18    :=
1    1   1   0   0   2
2    1   0   1   0   2
3    2   1   1   1   1
4    1   1   0   1   3
5    1   1   0   3   3
6    1   3   2   1   1
7    0   2   2   1   3
8    0   3   0   1   4
9    1   4   2   1   0
10   0   4   0   3   3
11   1   4   1   3   1
12   1   2   1   3   2
13   1   2   1   2   2
14   4   2   0   0   3
15   1   0   0   2   1

 [*,4,7,*] (tr)
:    4   9  14  17  18    :=
1    0   0   0   1   1
2    0   0   1   2   1
3    0   1   0   2   1
4    1   1   2   1   1
5    1   5   1   2   1
6    0   5   1   2   3
7    1   4   1   1   3
8    1   5   0   0   2
9    3   5   1   1   1
10   4   5   2   1   2
11   6   3   1   3   0
12   3   2   1   5   0
13   3   0   2   2   1
14   0   0   0   5   2
15   0   0   0   2   0

 [*,5,1,*] (tr)
:   22  25    :=
1    0   2
2    0   4
3    0   4
4    0   5
5    1   5
6    1   4
7    1   5
8    1   5
9    3   3
10   5   2
11   5   1
12   7   1
13   7   1
14   1   1
15   0   1

 [*,5,2,*] (tr)
:   22  25    :=
1    0   4
2    0   4
3    0   7
4    1   7
5    0   6
6    1   7
7    0   6
8    2   7
9    0   6
10   0   8
11   0   8
12   0   8
13   0   8
14   1   8
15   0   4

 [*,5,3,*] (tr)
:   22  25    :=
1    0   4
2    0   4
3    0   6
4    0   6
5    0   7
6    0   7
7    0   6
8    0   7
9    0   6
10   0   8
11   0   7
12   2   9
13   0   9
14   0   8
15   0   4

 [*,5,4,*] (tr)
:   22  25    :=
1    0   1
2    0   4
3    0   5
4    0   6
5    0   6
6    0   6
7    0   6
8    5   3
9    1   4
10   2   4
11   4   4
12   1   7
13   0   7
14   1   7
15   0   4

 [*,5,5,*] (tr)
:   22  25    :=
1    0   2
2    0   4
3    0   5
4    0   5
5    0   5
6    1   5
7    2   3
8    1   2
9    3   3
10   3   3
11   5   3
12   5   3
13   5   3
14   4   3
15   0   1

 [*,5,6,*] (tr)
:   22  25    :=
1    0   3
2    0   4
3    0   5
4    0   7
5    0   8
6    0   8
7    3   5
8    2   6
9    2   6
10   2   6
11   4   5
12   5   5
13   3   5
14   3   5
15   0   4

 [*,5,7,*] (tr)
:   22   25    :=
1    0    1
2    0    4
3    0    4
4    0    4
5    1    8
6    1   10
7    0   10
8    0    8
9    3   10
10   0    9
11   0   10
12   0    8
13   1    6
14   2    6
15   1    0
;

R [1,1,1,*,*]
 [1,1,2,*,*]
:    5    :=
21   1
36   2

 [1,1,3,*,*]
:    5    :=
1    2
36   1

 [1,1,4,*,*]
:    5    :=
1    1
13   1
21   1

 [1,1,5,*,*]
:    5    :=
1    1
36   2

 [1,1,6,*,*]
 [1,1,7,*,*]
:    5    :=
13   2
35   1

 [1,2,1,*,*]
:   14    :=
1    1

 [1,2,2,*,*]
:   14    :=
1    1

 [1,2,3,*,*]
 [1,2,4,*,*]
:   14    :=
35   1

 [1,2,5,*,*]
:   14    :=
17   1

 [1,2,6,*,*]
 [1,2,7,*,*]
:   14    :=
13   1

 [1,4,1,*,*]
:    9    :=
5    1
36   1

 [1,4,2,*,*]
 [1,4,3,*,*]
:    9    :=
13   1
35   1

 [1,4,4,*,*]
:    9    :=
5    2

 [1,4,5,*,*]
 [1,4,6,*,*]
:    9    :=
1    1
36   1

 [1,4,7,*,*]
:    9    :=
31   1
35   1

 [1,7,1,*,*]
:   17    :=
36   1

 [1,7,2,*,*]
:   17    :=
36   1

 [1,7,3,*,*]
:   17    :=
1    1

 [1,7,4,*,*]
 [1,7,5,*,*]
:   17    :=
5    1

 [1,7,6,*,*]
 [1,7,7,*,*]
:   17    :=
13   1

 [1,9,1,*,*]
:   10    :=
5    1

 [1,9,2,*,*]
 [1,9,3,*,*]
:   10    :=
36   1

 [1,9,4,*,*]
:   10    :=
21   1

 [1,9,5,*,*]
:   10    :=
35   1

 [1,9,6,*,*]
 [1,9,7,*,*]
:   10    :=
5    1

 [1,12,1,*,*]
 [1,12,2,*,*]
:    6    :=
1    1
36   2

 [1,12,3,*,*]
:    6    :=
21   3

 [1,12,4,*,*]
:    6    :=
35   3

 [1,12,5,*,*]
:    6    :=
1    1
35   1
36   1

 [1,12,6,*,*]
:    6    :=
35   3

 [1,12,7,*,*]
 [1,13,1,*,*]
 [1,13,2,*,*]
:    2    :=
28   1

 [1,13,3,*,*]
 [1,13,4,*,*]
:    2    :=
1    1

 [1,13,5,*,*]
:    2    :=
9    1

 [1,13,6,*,*]
:    2    :=
17   1

 [1,13,7,*,*]
:    2    :=
13   1

 [1,14,1,*,*]
:    9    :=
33   1

 [1,14,2,*,*]
 [1,14,3,*,*]
:    9    :=
28   1

 [1,14,4,*,*]
:    9    :=
35   1

 [1,14,5,*,*]
 [1,14,6,*,*]
:    9    :=
25   1

 [1,14,7,*,*]
:    9    :=
1    1

 [1,17,1,*,*]
:   17    :=
36   2

 [1,17,2,*,*]
:   17    :=
35   1
36   1

 [1,17,3,*,*]
:   17    :=
1    1
28   1

 [1,17,4,*,*]
 [1,17,5,*,*]
:   17    :=
1    1
35   1

 [1,17,6,*,*]
 [1,17,7,*,*]
:   17    :=
35   2

 [1,18,1,*,*]
:   17    :=
36   2

 [1,18,2,*,*]
:   17    :=
35   2

 [1,18,3,*,*]
:   17    :=
36   2

 [1,18,4,*,*]
 [1,18,5,*,*]
:   17    :=
1    1
35   1

 [1,18,6,*,*]
 [1,18,7,*,*]
:   17    :=
31   1
35   1

 [1,19,1,*,*]
 [1,19,2,*,*]
 [1,19,3,*,*]
 [1,19,4,*,*]
 [1,19,5,*,*]
 [1,19,6,*,*]
 [1,19,7,*,*]
 [1,22,1,*,*]
:    7    :=
17   1
35   2
36   2

 [1,22,2,*,*]
 [1,22,3,*,*]
 [1,22,4,*,*]
:    7    :=
35   3
36   2

 [1,22,5,*,*]
:    7    :=
17   2
28   2
31   1

 [1,22,6,*,*]
:    7    :=
31   2
35   2
36   1

 [1,22,7,*,*]
:    7    :=
17   1
28   1
31   2
36   1

 [1,25,1,*,*]
:   19    :=
1    1
5    1
17   1
25   1

 [1,25,2,*,*]
:   19    :=
1    1
21   1
35   2

 [1,25,3,*,*]
:   19    :=
17   1
33   1
36   2

 [1,25,4,*,*]
:   19    :=
25   1
35   1
36   2

 [1,25,5,*,*]
 [1,25,6,*,*]
 [1,25,7,*,*]
:   19    :=
5    1
35   3

 [2,1,1,*,*]
:   26    :=
13   1
35   1

 [2,1,2,*,*]
:   26    :=
28   1
35   1

 [2,1,3,*,*]
 [2,1,4,*,*]
:   26    :=
5    2

 [2,1,5,*,*]
:   26    :=
36   2

 [2,1,6,*,*]
:   26    :=
35   2

 [2,1,7,*,*]
:   26    :=
28   2

 [2,2,1,*,*]
:   23    :=
13   1
17   1
36   1

 [2,2,2,*,*]
:   23    :=
1    1
35   1
36   1

 [2,2,3,*,*]
:   23    :=
1    2
25   1

 [2,2,4,*,*]
:   23    :=
33   1
36   2

 [2,2,5,*,*]
:   23    :=
17   1
35   1
36   1

 [2,2,6,*,*]
 [2,2,7,*,*]
:   23    :=
31   3

 [2,4,1,*,*]
:   27    :=
1    1

 [2,4,2,*,*]
 [2,4,3,*,*]
:   27    :=
35   1

 [2,4,4,*,*]
:   27    :=
36   1

 [2,4,5,*,*]
:   27    :=
35   1

 [2,4,6,*,*]
:   27    :=
36   1

 [2,4,7,*,*]
:   27    :=
35   1

 [2,7,1,*,*]
:   25    :=
21   1

 [2,7,2,*,*]
:   25    :=
1    1

 [2,7,3,*,*]
:   25    :=
35   1

 [2,7,4,*,*]
 [2,7,5,*,*]
:   25    :=
1    1

 [2,7,6,*,*]
:   25    :=
36   1

 [2,7,7,*,*]
:   25    :=
13   1

 [2,9,1,*,*]
 [2,9,2,*,*]
 [2,9,3,*,*]
 [2,9,4,*,*]
 [2,9,5,*,*]
 [2,9,6,*,*]
 [2,9,7,*,*]
 [2,12,1,*,*]
 [2,12,2,*,*]
 [2,12,3,*,*]
 [2,12,4,*,*]
 [2,12,5,*,*]
 [2,12,6,*,*]
 [2,12,7,*,*]
 [2,13,1,*,*]
:   22    :=
1    1

 [2,13,2,*,*]
:   22    :=
28   1

 [2,13,3,*,*]
:   22    :=
1    1

 [2,13,4,*,*]
:   22    :=
36   1

 [2,13,5,*,*]
:   22    :=
9    1

 [2,13,6,*,*]
:   22    :=
36   1

 [2,13,7,*,*]
 [2,14,1,*,*]
:   25    :=
36   1

 [2,14,2,*,*]
:   25    :=
17   1

 [2,14,3,*,*]
:   25    :=
13   1

 [2,14,4,*,*]
 [2,14,5,*,*]
:   25    :=
36   1

 [2,14,6,*,*]
:   25    :=
36   1

 [2,14,7,*,*]
:   25    :=
13   1

 [2,17,1,*,*]
:   27    :=
1    1
36   1

 [2,17,2,*,*]
 [2,17,3,*,*]
:   27    :=
13   1
36   1

 [2,17,4,*,*]
:   27    :=
35   2

 [2,17,5,*,*]
:   27    :=
5    1
35   1

 [2,17,6,*,*]
:   27    :=
5    2

 [2,17,7,*,*]
:   27    :=
36   2

 [2,18,1,*,*]
 [2,18,2,*,*]
 [2,18,3,*,*]
 [2,18,4,*,*]
 [2,18,5,*,*]
 [2,18,6,*,*]
 [2,18,7,*,*]
 [2,19,1,*,*]
 [2,19,2,*,*]
 [2,19,3,*,*]
 [2,19,4,*,*]
 [2,19,5,*,*]
 [2,19,6,*,*]
 [2,19,7,*,*]
 [2,22,1,*,*]
:   22    :=
33   5

 [2,22,2,*,*]
:   22    :=
25   2
35   3

 [2,22,3,*,*]
:   22    :=
13   1
31   1
33   1
36   2

 [2,22,4,*,*]
:   22    :=
21   1
28   3
35   1

 [2,22,5,*,*]
:   22    :=
35   5

 [2,22,6,*,*]
:   22    :=
31   5

 [2,22,7,*,*]
 [2,25,1,*,*]
:   24    :=
36   1

 [2,25,2,*,*]
:   24    :=
1    1

 [2,25,3,*,*]
:   24    :=
1    1

 [2,25,4,*,*]
:   24    :=
36   1

 [2,25,5,*,*]
 [2,25,6,*,*]
:   24    :=
36   1

 [2,25,7,*,*]
:   24    :=
21   1

 [3,1,1,*,*]
:    7    :=
6    1
34   1

 [3,1,2,*,*]
 [3,1,3,*,*]
 [3,1,4,*,*]
:    7    :=
10   2

 [3,1,5,*,*]
:    7    :=
6    1
32   1

 [3,1,6,*,*]
:    7    :=
32   1
34   1

 [3,1,7,*,*]
:    7    :=
2    1
32   1

 [3,2,1,*,*]
 [3,2,2,*,*]
:    2    :=
2    1

 [3,2,3,*,*]
 [3,2,4,*,*]
:    2    :=
32   1

 [3,2,5,*,*]
:    2    :=
34   1

 [3,2,6,*,*]
:    2    :=
18   1

 [3,2,7,*,*]
:    2    :=
32   1

 [3,4,1,*,*]
:    7    :=
29   1

 [3,4,2,*,*]
 [3,4,3,*,*]
 [3,4,4,*,*]
:    7    :=
22   1

 [3,4,5,*,*]
:    7    :=
22   1

 [3,4,6,*,*]
:    7    :=
22   1

 [3,4,7,*,*]
:    7    :=
32   1

 [3,7,1,*,*]
 [3,7,2,*,*]
:    4    :=
2    2
14   2

 [3,7,3,*,*]
:    4    :=
32   2
34   2

 [3,7,4,*,*]
:    4    :=
2    3
6    1

 [3,7,5,*,*]
 [3,7,6,*,*]
:    4    :=
10   2
34   2

 [3,7,7,*,*]
:    4    :=
2    2
14   1
34   1

 [3,9,1,*,*]
:   16    :=
18   1
32   1
34   1

 [3,9,2,*,*]
:   16    :=
2    3

 [3,9,3,*,*]
:   16    :=
18   1
34   2

 [3,9,4,*,*]
 [3,9,5,*,*]
 [3,9,6,*,*]
:   16    :=
2    1
22   2

 [3,9,7,*,*]
:   16    :=
18   2
22   1

 [3,12,1,*,*]
 [3,12,2,*,*]
:    2    :=
32   1
34   2

 [3,12,3,*,*]
 [3,12,4,*,*]
:    2    :=
14   2
18   1

 [3,12,5,*,*]
:    2    :=
2    1
34   2

 [3,12,6,*,*]
:    2    :=
2    1
32   1
34   1

 [3,12,7,*,*]
:    2    :=
10   1
18   1
34   1

 [3,13,1,*,*]
:   16    :=
2    1
6    1
10   1

 [3,13,2,*,*]
:   16    :=
2    3

 [3,13,3,*,*]
:   16    :=
2    3

 [3,13,4,*,*]
 [3,13,5,*,*]
 [3,13,6,*,*]
:   16    :=
2    1
6    1
32   1

 [3,13,7,*,*]
:   16    :=
6    2
32   1

 [3,14,1,*,*]
:   17    :=
29   1

 [3,14,2,*,*]
:   17    :=
34   1

 [3,14,3,*,*]
:   17    :=
22   1

 [3,14,4,*,*]
 [3,14,5,*,*]
:   17    :=
6    1

 [3,14,6,*,*]
 [3,14,7,*,*]
:   17    :=
32   1

 [3,17,1,*,*]
:   17    :=
32   1

 [3,17,2,*,*]
:   17    :=
18   1

 [3,17,3,*,*]
:   17    :=
32   1

 [3,17,4,*,*]
 [3,17,5,*,*]
:   17    :=
10   1

 [3,17,6,*,*]
 [3,17,7,*,*]
:   17    :=
32   1

 [3,18,1,*,*]
 [3,18,2,*,*]
 [3,18,3,*,*]
 [3,18,4,*,*]
 [3,18,5,*,*]
 [3,18,6,*,*]
 [3,18,7,*,*]
 [3,19,1,*,*]
 [3,19,2,*,*]
 [3,19,3,*,*]
 [3,19,4,*,*]
 [3,19,5,*,*]
 [3,19,6,*,*]
 [3,19,7,*,*]
 [3,22,1,*,*]
:   13    :=
32   2

 [3,22,2,*,*]
:   13    :=
10   1
32   1

 [3,22,3,*,*]
 [3,22,4,*,*]
:   13    :=
22   1
32   1

 [3,22,5,*,*]
 [3,22,6,*,*]
:   13    :=
26   2

 [3,22,7,*,*]
:   13    :=
26   1
34   1

 [3,25,1,*,*]
 [3,25,2,*,*]
:    4    :=
2    1
18   1

 [3,25,3,*,*]
:    4    :=
10   2

 [3,25,4,*,*]
:    4    :=
2    1
14   1

 [3,25,5,*,*]
 [3,25,6,*,*]
:    4    :=
2    1
32   1

 [3,25,7,*,*]
:    4    :=
2    1
32   1

 [4,1,1,*,*]
:   27    :=
2    1
22   1
32   1

 [4,1,2,*,*]
 [4,1,3,*,*]
:   27    :=
2    1
18   2

 [4,1,4,*,*]
:   27    :=
22   1
32   2

 [4,1,5,*,*]
:   27    :=
32   3

 [4,1,6,*,*]
:   27    :=
2    2
14   1

 [4,1,7,*,*]
:   27    :=
6    1
18   2

 [4,2,1,*,*]
 [4,2,2,*,*]
:   28    :=
18   1

 [4,2,3,*,*]
:   28    :=
34   1

 [4,2,4,*,*]
:   28    :=
34   1

 [4,2,5,*,*]
:   28    :=
29   1

 [4,2,6,*,*]
:   28    :=
22   1

 [4,2,7,*,*]
:   28    :=
6    1

 [4,4,1,*,*]
:   26    :=
29   1
34   1

 [4,4,2,*,*]
:   26    :=
2    1
10   1

 [4,4,3,*,*]
 [4,4,4,*,*]
:   26    :=
34   2

 [4,4,5,*,*]
:   26    :=
10   1
18   1

 [4,4,6,*,*]
:   26    :=
32   1
34   1

 [4,4,7,*,*]
:   26    :=
32   1
34   1

 [4,7,1,*,*]
:   25    :=
14   2

 [4,7,2,*,*]
:   25    :=
34   2

 [4,7,3,*,*]
:   25    :=
14   2

 [4,7,4,*,*]
 [4,7,5,*,*]
:   25    :=
10   1
32   1

 [4,7,6,*,*]
:   25    :=
10   2

 [4,7,7,*,*]
:   25    :=
18   2

 [4,9,1,*,*]
 [4,9,2,*,*]
 [4,9,3,*,*]
 [4,9,4,*,*]
 [4,9,5,*,*]
 [4,9,6,*,*]
 [4,9,7,*,*]
 [4,12,1,*,*]
:   27    :=
14   1

 [4,12,2,*,*]
 [4,12,3,*,*]
:   27    :=
34   1

 [4,12,4,*,*]
:   27    :=
2    1

 [4,12,5,*,*]
:   27    :=
14   1

 [4,12,6,*,*]
:   27    :=
2    1

 [4,12,7,*,*]
:   27    :=
32   1

 [4,13,1,*,*]
:   26    :=
14   1
18   1
32   1

 [4,13,2,*,*]
:   26    :=
10   1
32   1
34   1

 [4,13,3,*,*]
 [4,13,4,*,*]
:   26    :=
2    1
10   2

 [4,13,5,*,*]
:   26    :=
18   1
22   1
32   1

 [4,13,6,*,*]
:   26    :=
18   2
34   1

 [4,13,7,*,*]
:   26    :=
2    1
18   2

 [4,14,1,*,*]
:   24    :=
2    1

 [4,14,2,*,*]
:   24    :=
10   1

 [4,14,3,*,*]
:   24    :=
34   1

 [4,14,4,*,*]
:   24    :=
6    1

 [4,14,5,*,*]
 [4,14,6,*,*]
:   24    :=
22   1

 [4,14,7,*,*]
:   24    :=
34   1

 [4,17,1,*,*]
:   26    :=
2    1
18   1

 [4,17,2,*,*]
:   26    :=
34   2

 [4,17,3,*,*]
 [4,17,4,*,*]
:   26    :=
2    1
32   1

 [4,17,5,*,*]
:   26    :=
2    1
6    1

 [4,17,6,*,*]
:   26    :=
34   2

 [4,17,7,*,*]
:   26    :=
2    1
6    1

 [4,18,1,*,*]
:   27    :=
10   1
34   2

 [4,18,2,*,*]
 [4,18,3,*,*]
:   27    :=
2    1
32   1
34   1

 [4,18,4,*,*]
:   27    :=
22   1
34   2

 [4,18,5,*,*]
:   27    :=
6    1
34   2

 [4,18,6,*,*]
:   27    :=
2    1
10   1
34   1

 [4,18,7,*,*]
:   27    :=
2    1
32   2

 [4,19,1,*,*]
 [4,19,2,*,*]
 [4,19,3,*,*]
 [4,19,4,*,*]
 [4,19,5,*,*]
 [4,19,6,*,*]
 [4,19,7,*,*]
 [4,22,1,*,*]
:   24    :=
14   1

 [4,22,2,*,*]
:   24    :=
32   1

 [4,22,3,*,*]
:   24    :=
18   1

 [4,22,4,*,*]
:   24    :=
29   1

 [4,22,5,*,*]
 [4,22,6,*,*]
:   24    :=
18   1

 [4,22,7,*,*]
:   24    :=
29   1

 [4,25,1,*,*]
 [4,25,2,*,*]
:   28    :=
2    1
10   2
32   1
34   3

 [4,25,3,*,*]
:   28    :=
2    1
18   1
32   4
34   1

 [4,25,4,*,*]
:   28    :=
6    3
10   1
32   2
34   1

 [4,25,5,*,*]
:   28    :=
2    2
6    2
10   1
32   2

 [4,25,6,*,*]
:   28    :=
2    2
10   1
14   1
18   1
34   2

 [4,25,7,*,*]
:   28    :=
6    2
18   2
22   2
32   1

 [5,1,1,*,*]
 [5,1,2,*,*]
:    3    :=
3    1
27   2

 [5,1,3,*,*]
:    3    :=
3    1
30   2

 [5,1,4,*,*]
 [5,1,5,*,*]
:    3    :=
3    1
7    1
11   1

 [5,1,6,*,*]
:    3    :=
3    1
19   2

 [5,1,7,*,*]
:    3    :=
19   2
23   1

 [5,2,1,*,*]
:   20    :=
11   1

 [5,2,2,*,*]
:   20    :=
15   1

 [5,2,3,*,*]
:   20    :=
3    1

 [5,2,4,*,*]
:   20    :=
27   1

 [5,2,5,*,*]
 [5,2,6,*,*]
:   20    :=
27   1

 [5,2,7,*,*]
 [5,4,1,*,*]
 [5,4,2,*,*]
:    3    :=
27   1

 [5,4,3,*,*]
:    3    :=
15   1

 [5,4,4,*,*]
 [5,4,5,*,*]
:    3    :=
15   1

 [5,4,6,*,*]
:    3    :=
3    1

 [5,4,7,*,*]
:    3    :=
3    1

 [5,7,1,*,*]
 [5,7,2,*,*]
:    2    :=
3    1

 [5,7,3,*,*]
 [5,7,4,*,*]
:    2    :=
3    1

 [5,7,5,*,*]
:    2    :=
7    1

 [5,7,6,*,*]
:    2    :=
3    1

 [5,7,7,*,*]
:    2    :=
19   1

 [5,9,1,*,*]
 [5,9,2,*,*]
 [5,9,3,*,*]
:    1    :=
3    2

 [5,9,4,*,*]
:    1    :=
30   2

 [5,9,5,*,*]
:    1    :=
30   2

 [5,9,6,*,*]
:    1    :=
27   2

 [5,9,7,*,*]
:    1    :=
19   2

 [5,12,1,*,*]
:   17    :=
27   1

 [5,12,2,*,*]
:   17    :=
23   1

 [5,12,3,*,*]
:   17    :=
27   1

 [5,12,4,*,*]
 [5,12,5,*,*]
:   17    :=
30   1

 [5,12,6,*,*]
 [5,12,7,*,*]
:   17    :=
7    1

 [5,13,1,*,*]
 [5,13,2,*,*]
 [5,13,3,*,*]
:    1    :=
15   2

 [5,13,4,*,*]
:    1    :=
7    1
30   1

 [5,13,5,*,*]
:    1    :=
27   2

 [5,13,6,*,*]
:    1    :=
27   2

 [5,13,7,*,*]
:    1    :=
23   2

 [5,14,1,*,*]
:   15    :=
23   1

 [5,14,2,*,*]
:   15    :=
27   1

 [5,14,3,*,*]
 [5,14,4,*,*]
:   15    :=
30   1

 [5,14,5,*,*]
:   15    :=
30   1

 [5,14,6,*,*]
:   15    :=
3    1

 [5,14,7,*,*]
 [5,17,1,*,*]
:   15    :=
7    1

 [5,17,2,*,*]
:   15    :=
15   1

 [5,17,3,*,*]
 [5,17,4,*,*]
:   15    :=
3    1

 [5,17,5,*,*]
:   15    :=
23   1

 [5,17,6,*,*]
:   15    :=
19   1

 [5,17,7,*,*]
 [5,18,1,*,*]
:   13    :=
27   3

 [5,18,2,*,*]
:   13    :=
11   1
27   2

 [5,18,3,*,*]
 [5,18,4,*,*]
:   13    :=
3    3

 [5,18,5,*,*]
 [5,18,6,*,*]
:   13    :=
3    1
27   2

 [5,18,7,*,*]
:   13    :=
19   1
23   1
27   1

 [5,19,1,*,*]
 [5,19,2,*,*]
 [5,19,3,*,*]
 [5,19,4,*,*]
 [5,19,5,*,*]
 [5,19,6,*,*]
 [5,19,7,*,*]
 [5,22,1,*,*]
 [5,22,2,*,*]
 [5,22,3,*,*]
 [5,22,4,*,*]
 [5,22,5,*,*]
 [5,22,6,*,*]
 [5,22,7,*,*]
 [5,25,1,*,*]
:   16    :=
3    1
15   1

 [5,25,2,*,*]
:   16    :=
27   1
30   1

 [5,25,3,*,*]
:   16    :=
3    2

 [5,25,4,*,*]
 [5,25,5,*,*]
 [5,25,6,*,*]
:   16    :=
7    1
15   1

 [5,25,7,*,*]
:   16    :=
19   1
27   1

 [6,1,1,*,*]
 [6,1,2,*,*]
 [6,1,3,*,*]
 [6,1,4,*,*]
 [6,1,5,*,*]
 [6,1,6,*,*]
 [6,1,7,*,*]
 [6,2,1,*,*]
 [6,2,2,*,*]
 [6,2,3,*,*]
 [6,2,4,*,*]
 [6,2,5,*,*]
 [6,2,6,*,*]
 [6,2,7,*,*]
 [6,4,1,*,*]
 [6,4,2,*,*]
 [6,4,3,*,*]
 [6,4,4,*,*]
 [6,4,5,*,*]
 [6,4,6,*,*]
 [6,4,7,*,*]
 [6,7,1,*,*]
 [6,7,2,*,*]
 [6,7,3,*,*]
 [6,7,4,*,*]
 [6,7,5,*,*]
 [6,7,6,*,*]
 [6,7,7,*,*]
 [6,9,1,*,*]
 [6,9,2,*,*]
 [6,9,3,*,*]
 [6,9,4,*,*]
 [6,9,5,*,*]
 [6,9,6,*,*]
 [6,9,7,*,*]
 [6,12,1,*,*]
 [6,12,2,*,*]
 [6,12,3,*,*]
 [6,12,4,*,*]
 [6,12,5,*,*]
 [6,12,6,*,*]
 [6,12,7,*,*]
 [6,13,1,*,*]
 [6,13,2,*,*]
 [6,13,3,*,*]
 [6,13,4,*,*]
 [6,13,5,*,*]
 [6,13,6,*,*]
 [6,13,7,*,*]
 [6,14,1,*,*]
 [6,14,2,*,*]
 [6,14,3,*,*]
 [6,14,4,*,*]
 [6,14,5,*,*]
 [6,14,6,*,*]
 [6,14,7,*,*]
 [6,17,1,*,*]
 [6,17,2,*,*]
 [6,17,3,*,*]
 [6,17,4,*,*]
 [6,17,5,*,*]
 [6,17,6,*,*]
 [6,17,7,*,*]
 [6,18,1,*,*]
 [6,18,2,*,*]
 [6,18,3,*,*]
 [6,18,4,*,*]
 [6,18,5,*,*]
 [6,18,6,*,*]
 [6,18,7,*,*]
 [6,19,1,*,*]
 [6,19,2,*,*]
 [6,19,3,*,*]
 [6,19,4,*,*]
 [6,19,5,*,*]
 [6,19,6,*,*]
 [6,19,7,*,*]
 [6,22,1,*,*]
 [6,22,2,*,*]
 [6,22,3,*,*]
 [6,22,4,*,*]
 [6,22,5,*,*]
 [6,22,6,*,*]
 [6,22,7,*,*]
 [6,25,1,*,*]
:   25    :=
7    1

 [6,25,2,*,*]
:   25    :=
11   1

 [6,25,3,*,*]
:   25    :=
30   1

 [6,25,4,*,*]
 [6,25,5,*,*]
:   25    :=
30   1

 [6,25,6,*,*]
:   25    :=
30   1

 [6,25,7,*,*]
:   25    :=
19   1

 [7,1,1,*,*]
 [7,1,2,*,*]
 [7,1,3,*,*]
 [7,1,4,*,*]
 [7,1,5,*,*]
 [7,1,6,*,*]
 [7,1,7,*,*]
 [7,2,1,*,*]
 [7,2,2,*,*]
 [7,2,3,*,*]
 [7,2,4,*,*]
 [7,2,5,*,*]
 [7,2,6,*,*]
 [7,2,7,*,*]
 [7,4,1,*,*]
 [7,4,2,*,*]
 [7,4,3,*,*]
 [7,4,4,*,*]
 [7,4,5,*,*]
 [7,4,6,*,*]
 [7,4,7,*,*]
 [7,7,1,*,*]
 [7,7,2,*,*]
 [7,7,3,*,*]
 [7,7,4,*,*]
 [7,7,5,*,*]
 [7,7,6,*,*]
 [7,7,7,*,*]
 [7,9,1,*,*]
 [7,9,2,*,*]
 [7,9,3,*,*]
 [7,9,4,*,*]
 [7,9,5,*,*]
 [7,9,6,*,*]
 [7,9,7,*,*]
 [7,12,1,*,*]
 [7,12,2,*,*]
 [7,12,3,*,*]
 [7,12,4,*,*]
 [7,12,5,*,*]
 [7,12,6,*,*]
 [7,12,7,*,*]
 [7,13,1,*,*]
 [7,13,2,*,*]
 [7,13,3,*,*]
 [7,13,4,*,*]
 [7,13,5,*,*]
 [7,13,6,*,*]
 [7,13,7,*,*]
 [7,14,1,*,*]
 [7,14,2,*,*]
 [7,14,3,*,*]
 [7,14,4,*,*]
 [7,14,5,*,*]
 [7,14,6,*,*]
 [7,14,7,*,*]
 [7,17,1,*,*]
 [7,17,2,*,*]
 [7,17,3,*,*]
 [7,17,4,*,*]
 [7,17,5,*,*]
 [7,17,6,*,*]
 [7,17,7,*,*]
 [7,18,1,*,*]
 [7,18,2,*,*]
 [7,18,3,*,*]
 [7,18,4,*,*]
 [7,18,5,*,*]
 [7,18,6,*,*]
 [7,18,7,*,*]
 [7,19,1,*,*]
 [7,19,2,*,*]
 [7,19,3,*,*]
 [7,19,4,*,*]
 [7,19,5,*,*]
 [7,19,6,*,*]
 [7,19,7,*,*]
 [7,22,1,*,*]
 [7,22,2,*,*]
 [7,22,3,*,*]
 [7,22,4,*,*]
 [7,22,5,*,*]
 [7,22,6,*,*]
 [7,22,7,*,*]
 [7,25,1,*,*]
 [7,25,2,*,*]
 [7,25,3,*,*]
 [7,25,4,*,*]
 [7,25,5,*,*]
 [7,25,6,*,*]
 [7,25,7,*,*]
 [8,1,1,*,*]
 [8,1,2,*,*]
 [8,1,3,*,*]
 [8,1,4,*,*]
 [8,1,5,*,*]
 [8,1,6,*,*]
 [8,1,7,*,*]
 [8,2,1,*,*]
 [8,2,2,*,*]
 [8,2,3,*,*]
 [8,2,4,*,*]
 [8,2,5,*,*]
 [8,2,6,*,*]
 [8,2,7,*,*]
 [8,4,1,*,*]
 [8,4,2,*,*]
 [8,4,3,*,*]
 [8,4,4,*,*]
 [8,4,5,*,*]
 [8,4,6,*,*]
 [8,4,7,*,*]
 [8,7,1,*,*]
 [8,7,2,*,*]
 [8,7,3,*,*]
 [8,7,4,*,*]
 [8,7,5,*,*]
 [8,7,6,*,*]
 [8,7,7,*,*]
 [8,9,1,*,*]
 [8,9,2,*,*]
 [8,9,3,*,*]
 [8,9,4,*,*]
 [8,9,5,*,*]
 [8,9,6,*,*]
 [8,9,7,*,*]
 [8,12,1,*,*]
 [8,12,2,*,*]
 [8,12,3,*,*]
 [8,12,4,*,*]
 [8,12,5,*,*]
 [8,12,6,*,*]
 [8,12,7,*,*]
 [8,13,1,*,*]
 [8,13,2,*,*]
 [8,13,3,*,*]
 [8,13,4,*,*]
 [8,13,5,*,*]
 [8,13,6,*,*]
 [8,13,7,*,*]
 [8,14,1,*,*]
 [8,14,2,*,*]
 [8,14,3,*,*]
 [8,14,4,*,*]
 [8,14,5,*,*]
 [8,14,6,*,*]
 [8,14,7,*,*]
 [8,17,1,*,*]
 [8,17,2,*,*]
 [8,17,3,*,*]
 [8,17,4,*,*]
 [8,17,5,*,*]
 [8,17,6,*,*]
 [8,17,7,*,*]
 [8,18,1,*,*]
 [8,18,2,*,*]
 [8,18,3,*,*]
 [8,18,4,*,*]
 [8,18,5,*,*]
 [8,18,6,*,*]
 [8,18,7,*,*]
 [8,19,1,*,*]
 [8,19,2,*,*]
 [8,19,3,*,*]
 [8,19,4,*,*]
 [8,19,5,*,*]
 [8,19,6,*,*]
 [8,19,7,*,*]
 [8,22,1,*,*]
 [8,22,2,*,*]
 [8,22,3,*,*]
 [8,22,4,*,*]
 [8,22,5,*,*]
 [8,22,6,*,*]
 [8,22,7,*,*]
 [8,25,1,*,*]
 [8,25,2,*,*]
 [8,25,3,*,*]
 [8,25,4,*,*]
 [8,25,5,*,*]
 [8,25,6,*,*]
 [8,25,7,*,*];

SEC [1,*,*] (tr)
:    1   2   4   7   9  12  13  14  17  18  19  22  25    :=
1    0   0   0   0   0   0   0   0   0   0   1   0   0
2    0   0   0   0   0   0   1   0   0   0   0   0   0
5    1   0   0   0   0   0   0   0   0   0   0   0   0
6    0   0   0   0   0   1   0   0   0   0   0   0   0
7    0   0   0   0   0   0   0   0   0   0   0   1   0
9    0   0   1   0   0   0   0   1   0   0   0   0   0
10   0   0   0   0   1   0   0   0   0   0   0   0   0
14   0   1   0   0   0   0   0   0   0   0   0   0   0
17   0   0   0   1   0   0   0   0   1   1   0   0   0
19   0   0   0   0   0   0   0   0   0   0   0   0   1

 [2,*,*] (tr)
:    1   2   4   7   9  12  13  14  17  18  19  22  25    :=
22   0   0   0   0   0   1   1   0   0   0   1   1   0
23   0   1   0   0   0   0   0   0   0   0   0   0   0
24   0   0   0   0   1   0   0   0   0   1   0   0   1
25   0   0   0   1   0   0   0   1   0   0   0   0   0
26   1   0   0   0   0   0   0   0   0   0   0   0   0
27   0   0   1   0   0   0   0   0   1   0   0   0   0

 [3,*,*] (tr)
:    1   2   4   7   9  12  13  14  17  18  19  22  25    :=
1    0   0   0   0   0   0   0   0   0   1   1   0   0
2    0   1   0   0   0   1   0   0   0   0   0   0   0
4    0   0   0   1   0   0   0   0   0   0   0   0   1
7    1   0   1   0   0   0   0   0   0   0   0   0   0
13   0   0   0   0   0   0   0   0   0   0   0   1   0
16   0   0   0   0   1   0   1   0   0   0   0   0   0
17   0   0   0   0   0   0   0   1   1   0   0   0   0

 [4,*,*] (tr)
:    1   2   4   7   9  12  13  14  17  18  19  22  25    :=
22   0   0   0   0   0   0   0   0   0   0   1   0   0
23   0   0   0   0   1   0   0   0   0   0   0   0   0
24   0   0   0   0   0   0   0   1   0   0   0   1   0
25   0   0   0   1   0   0   0   0   0   0   0   0   0
26   0   0   1   0   0   0   1   0   1   0   0   0   0
27   1   0   0   0   0   1   0   0   0   1   0   0   0
28   0   1   0   0   0   0   0   0   0   0   0   0   1

 [5,*,*] (tr)
:    1   2   4   7   9  12  13  14  17  18  19  22  25    :=
1    0   0   0   0   1   0   1   0   0   0   1   1   0
2    0   0   0   1   0   0   0   0   0   0   0   0   0
3    1   0   1   0   0   0   0   0   0   0   0   0   0
13   0   0   0   0   0   0   0   0   0   1   0   0   0
15   0   0   0   0   0   0   0   1   1   0   0   0   0
16   0   0   0   0   0   0   0   0   0   0   0   0   1
17   0   0   0   0   0   1   0   0   0   0   0   0   0
20   0   1   0   0   0   0   0   0   0   0   0   0   0

 [6,*,*] (tr)
:    1   2   4   7   9  12  13  14  17  18  19  22  25    :=
22   1   1   1   1   1   1   1   1   1   1   1   1   0
25   0   0   0   0   0   0   0   0   0   0   0   0   1

 [7,*,*] (tr)
:    1   2   4   7   9  12  13  14  17  18  19  22  25    :=
1    1   1   1   1   1   1   1   1   1   0   1   1   0
2    0   0   0   0   0   0   0   0   0   0   0   0   1
5    0   0   0   0   0   0   0   0   0   1   0   0   0

 [8,*,*] (tr)
:    1   2   4   7   9  12  13  14  17  18  19  22  25    :=
22   1   1   1   1   1   1   0   1   1   1   1   1   1
26   0   0   0   0   0   0   1   0   0   0   0   0   0
;

Poli = 62
totales = 111

Faltantes = 177.6
sobrantes = 18.6
salario = 3706.62
servicio = 27.6287
capacitacion = 1.24

_solve_elapsed_time = 7208.45

_nvars = 745252
_ncons = 13561

solve_result_num = 422

